runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15076 MiB free)
  memory of node 1: 16384 MiB (15338 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282524-1503116758/watcher-4282524-1503116758 -o /tmp/evaluation-result-4282524-1503116758/solver-4282524-1503116758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 505054058 HOME/instance-4282524-1503116758.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12084, runsolver pid=12081
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 2.31 2.00 1.90 3/203 12092
/proc/meminfo: memFree=31136520/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13574484 memory=17724 CPUtime=0.01 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 3726 0 0 0 1 0 0 0 20 0 9 0 113870893 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3393621 4431 2085 1 0 3383118 0
[pid=12086/tid=12087] ppid=12084 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) R 12084 12084 8557 0 -1 4202560 2435 0 0 0 1 0 0 0 20 0 9 0 113870893 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140402141832336 140402121728264 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113870894 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13574484 memory=140383621514880 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113870894 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113870894 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113870894 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12092] ppid=12084 vsize=13574484 memory=140383621514880 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12092/stat : 12092 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113870895 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140401683290736 140402137602690 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 113870896 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140401682236704 140402137601749 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 113870896 13900271616 4431 18446744073709551615 4194304 4196468 140722886098128 140401681184432 140402137601749 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19104 KiB

[startup+0.209962 s]*
/proc/loadavg: 2.31 2.00 1.90 2/210 12099
/proc/meminfo: memFree=31134572/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13907304 memory=20652 CPUtime=0.05 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 4551 0 0 0 4 1 0 0 20 0 14 0 113870893 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3476826 5163 2574 1 0 3466323 0
[pid=12086/tid=12087] ppid=12084 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) D 12084 12084 8557 0 -1 4202560 2727 0 0 0 3 1 0 0 20 0 14 0 113870893 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140402141829024 140402137613565 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13907304 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113870894 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13907304 memory=288370759773226624 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113870894 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113870894 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113870894 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12092] ppid=12084 vsize=13907304 memory=140383621514880 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12092/stat : 12092 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113870895 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401683290736 140402137602690 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113870896 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401682236704 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113870896 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401681184368 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12095] ppid=12084 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12095/stat : 12095 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113870898 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401680132688 140402137610139 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12096] ppid=12084 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12096/stat : 12096 (java) S 12084 12084 8557 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 14 0 113870898 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401679079536 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12097] ppid=12084 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12097/stat : 12097 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113870898 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401678026736 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12098] ppid=12084 vsize=13907304 memory=140383621514880 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12098/stat : 12098 (java) S 12084 12084 8557 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 113870898 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401676974448 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12099] ppid=12084 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12099/stat : 12099 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113870899 14241079296 5163 18446744073709551615 4194304 4196468 140722886098128 140401608485344 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22032 KiB

[startup+0.312054 s]*
/proc/loadavg: 2.31 2.00 1.90 6/211 12100
/proc/meminfo: memFree=31124692/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13974352 memory=31768 CPUtime=0.21 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 5866 0 0 0 18 3 0 0 20 0 15 0 113870893 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3493588 7942 2915 1 0 3482964 0
[pid=12086/tid=12087] ppid=12084 vsize=13974352 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) R 12084 12084 8557 0 -1 4202560 3198 0 0 0 11 1 0 0 20 0 15 0 113870893 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140402141826976 140402137613469 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113870894 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870894 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870894 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113870894 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12092] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12092/stat : 12092 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113870895 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401683290736 140402137602690 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113870896 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401682236704 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113870896 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401681184368 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12095] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12095/stat : 12095 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870898 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401680132688 140402137610139 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12096] ppid=12084 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12096/stat : 12096 (java) S 12084 12084 8557 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 15 0 113870898 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401679079536 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12097] ppid=12084 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12097/stat : 12097 (java) S 12084 12084 8557 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 15 0 113870898 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401678026736 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12098] ppid=12084 vsize=13974352 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12086/task/12098/stat : 12098 (java) S 12084 12084 8557 0 -1 1077944384 677 0 0 0 4 0 0 0 20 0 15 0 113870898 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401676974448 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12099] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12099/stat : 12099 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870899 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401608485344 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12100] ppid=12084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12100/stat : 12100 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870909 14309736448 7942 18446744073709551615 4194304 4196468 140722886098128 140401607433136 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33148 KiB

[startup+0.701128 s]
/proc/loadavg: 2.31 2.00 1.90 6/211 12100
/proc/meminfo: memFree=31107880/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13978684 memory=72872 CPUtime=1.18 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 12388 0 0 0 112 6 0 0 20 0 15 0 113870893 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3494671 18218 3144 1 0 3482964 0
[pid=12086/tid=12087] ppid=12084 vsize=13978684 memory=280766978388440 CPUtime=0.5 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) R 12084 12084 8557 0 -1 4202560 7358 0 0 0 47 3 0 0 20 0 15 0 113870893 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140402141826232 140401762516041 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113870894 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870894 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870894 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113870894 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12092] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12092/stat : 12092 (java) S 12084 12084 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113870895 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401683290736 140402137602690 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113870896 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401682236704 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113870896 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401681184368 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12095] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12095/stat : 12095 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870898 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401680132688 140402137610139 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12096] ppid=12084 vsize=13978684 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/12086/task/12096/stat : 12096 (java) S 12084 12084 8557 0 -1 1077944384 1522 0 0 0 20 0 0 0 20 0 15 0 113870898 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401679079536 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12097] ppid=12084 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/12086/task/12097/stat : 12097 (java) S 12084 12084 8557 0 -1 1077944384 882 0 0 0 21 0 0 0 20 0 15 0 113870898 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401678026736 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12098] ppid=12084 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/12086/task/12098/stat : 12098 (java) R 12084 12084 8557 0 -1 4202560 1318 0 0 0 23 0 0 0 20 0 15 0 113870898 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401676972256 140402116111703 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12099] ppid=12084 vsize=13978684 memory=25 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12099/stat : 12099 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870899 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401608485344 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12100] ppid=12084 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12100/stat : 12100 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870909 14314172416 18218 18446744073709551615 4194304 4196468 140722886098128 140401607433136 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 74252 KiB

[startup+1.50113 s]
/proc/loadavg: 2.31 2.00 1.90 6/211 12100
/proc/meminfo: memFree=31032928/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13980732 memory=211608 CPUtime=3.74 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 16036 0 0 0 364 10 0 0 20 0 15 0 113870893 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3495183 52902 3202 1 0 3483476 0
[pid=12086/tid=12087] ppid=12084 vsize=13980732 memory=280766978482976 CPUtime=1.27 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) R 12084 12084 8557 0 -1 4202560 8092 0 0 0 121 6 0 0 20 0 15 0 113870893 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140402141825912 140401764923896 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 113870894 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 113870894 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13980732 memory=280766978232720 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113870894 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13980732 memory=260908 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 113870894 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12092] ppid=12084 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12092/stat : 12092 (java) S 12084 12084 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113870895 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401683290736 140402137602690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113870896 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401682236768 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13980732 memory=2097 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113870896 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401681184368 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12095] ppid=12084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12095/stat : 12095 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870898 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401680132688 140402137610139 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12096] ppid=12084 vsize=13980732 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/12086/task/12096/stat : 12096 (java) R 12084 12084 8557 0 -1 4202560 1988 0 0 0 92 1 0 0 20 0 15 0 113870898 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401679061568 140402122515922 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12097] ppid=12084 vsize=13980732 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/12086/task/12097/stat : 12097 (java) R 12084 12084 8557 0 -1 4202560 1970 0 0 0 92 0 0 0 20 0 15 0 113870898 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401678016560 140402119136128 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12098] ppid=12084 vsize=13980732 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/12086/task/12098/stat : 12098 (java) S 12084 12084 8557 0 -1 1077944384 2508 0 0 0 51 0 0 0 20 0 15 0 113870898 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401676974448 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12099] ppid=12084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12099/stat : 12099 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870899 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401608485344 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12100] ppid=12084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12100/stat : 12100 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870909 14316269568 52902 18446744073709551615 4194304 4196468 140722886098128 140401607433136 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212988 KiB

[startup+2.10052 s]
# the end of solver process 12084 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.06083 s, system=0.125083 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60112 s]
/proc/loadavg: 2.31 2.00 1.90 6/211 12100
/proc/meminfo: memFree=31032928/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13980732 memory=212204 CPUtime=4.07 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 16181 0 0 0 396 11 0 0 20 0 15 0 113870893 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3495183 53051 3207 1 0 3483476 0
[pid=12086/tid=12087] ppid=12084 vsize=13980732 memory=3185 CPUtime=1.37 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) R 12084 12084 8557 0 -1 4202560 8151 0 0 0 131 6 0 0 20 0 15 0 113870893 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140402141828792 140401765508775 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 113870894 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 113870894 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13980732 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113870894 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13980732 memory=6655300316396806240 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 113870894 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12092] ppid=12084 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12092/stat : 12092 (java) S 12084 12084 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113870895 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401683290736 140402137602690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13980732 memory=-7022074515825631275 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113870896 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401682236768 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13980732 memory=6944656601042741910 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113870896 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401681184368 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12095] ppid=12084 vsize=13980732 memory=-9001727377965607015 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12095/stat : 12095 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870898 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401680132688 140402137610139 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12096] ppid=12084 vsize=13980732 memory=-7737605721172012177 CPUtime=1.03 cores=1,3,5,7
/proc/12086/task/12096/stat : 12096 (java) R 12084 12084 8557 0 -1 4202560 2016 0 0 0 102 1 0 0 20 0 15 0 113870898 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401679068208 140402116808808 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12097] ppid=12084 vsize=13980732 memory=8514701219882108832 CPUtime=1.02 cores=1,3,5,7
/proc/12086/task/12097/stat : 12097 (java) R 12084 12084 8557 0 -1 4202560 1989 0 0 0 102 0 0 0 20 0 15 0 113870898 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401678016560 140402119136280 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12098] ppid=12084 vsize=13980732 memory=7675126016527182411 CPUtime=0.53 cores=1,3,5,7
/proc/12086/task/12098/stat : 12098 (java) S 12084 12084 8557 0 -1 1077944384 2547 0 0 0 53 0 0 0 20 0 15 0 113870898 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401676974448 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12099] ppid=12084 vsize=13980732 memory=8043311954347783699 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12099/stat : 12099 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113870899 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401608485344 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12100] ppid=12084 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12100/stat : 12100 (java) S 12084 12084 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113870909 14316269568 53051 18446744073709551615 4194304 4196468 140722886098128 140401607433136 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213584 KiB

[startup+2.00079 s]*
/proc/loadavg: 2.31 2.00 1.90 3/209 12100
/proc/meminfo: memFree=30936144/32770624 swapFree=67105588/67108860
[pid=12084] ppid=12081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12084/stat : 12084 (xcsp3-exec) S 12081 12084 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113870885 9740288 345 18446744073709551615 4194304 5098028 140735646577664 140735646575768 140141431267964 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 36843520 140735646581113 140735646581317 140735646581317 140735646584811 0
/proc/12084/statm: 2378 345 289 221 0 87 0
[pid=12086] ppid=12084 vsize=13980732 memory=218364 CPUtime=5.16 cores=1,3,5,7
/proc/12086/stat : 12086 (java) S 12084 12084 8557 0 -1 1077944320 17672 0 0 0 505 11 0 0 20 0 13 0 113870893 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140722886080672 140402137591543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
/proc/12086/statm: 3495183 54591 3216 1 0 3483476 0
[pid=12086/tid=12087] ppid=12084 vsize=13980732 memory=585526441063546998 CPUtime=1.71 cores=1,3,5,7
/proc/12086/task/12087/stat : 12087 (java) D 12084 12084 8557 0 -1 4202560 8262 0 0 0 165 6 0 0 20 0 13 0 113870893 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140402141834552 140402130277175 0 0 1 16800974 18446744072099589253 0 0 -1 7 0 0 9 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12088] ppid=12084 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12088/stat : 12088 (java) S 12084 12084 8557 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 13 0 113870894 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140402079537552 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12089] ppid=12084 vsize=13980732 memory=140383621526812 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12089/stat : 12089 (java) S 12084 12084 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 13 0 113870894 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401736947984 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12090] ppid=12084 vsize=13980732 memory=7670301315262144873 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12090/stat : 12090 (java) S 12084 12084 8557 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 13 0 113870894 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401735895696 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12091] ppid=12084 vsize=13980732 memory=5787504188646319192 CPUtime=0.01 cores=1,3,5,7
/proc/12086/task/12091/stat : 12091 (java) S 12084 12084 8557 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 13 0 113870894 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401734842896 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12093] ppid=12084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12093/stat : 12093 (java) S 12084 12084 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 113870896 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401682236768 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12094] ppid=12084 vsize=13980732 memory=3835159436913555505 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12094/stat : 12094 (java) S 12084 12084 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 113870896 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401681184368 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12095] ppid=12084 vsize=13980732 memory=43757089081 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12095/stat : 12095 (java) S 12084 12084 8557 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 13 0 113870898 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401680131456 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12096] ppid=12084 vsize=13980732 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/12086/task/12096/stat : 12096 (java) S 12084 12084 8557 0 -1 1077944384 2170 0 0 0 136 1 0 0 20 0 13 0 113870898 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401679079536 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12097] ppid=12084 vsize=13980732 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/12086/task/12097/stat : 12097 (java) S 12084 12084 8557 0 -1 1077944384 2985 0 0 0 134 0 0 0 20 0 13 0 113870898 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401678011792 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12098] ppid=12084 vsize=13980732 memory=-1 CPUtime=0.64 cores=1,3,5,7
/proc/12086/task/12098/stat : 12098 (java) S 12084 12084 8557 0 -1 1077944384 2754 0 0 0 63 1 0 0 20 0 13 0 113870898 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401676974448 140402137602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
[pid=12086/tid=12099] ppid=12084 vsize=13980732 memory=140383621514880 CPUtime=0 cores=1,3,5,7
/proc/12086/task/12099/stat : 12099 (java) S 12084 12084 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 113870899 14316269568 54591 18446744073709551615 4194304 4196468 140722886098128 140401608485344 140402137601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14258176 140722886099377 140722886099553 140722886099553 140722886102991 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 219744 KiB

Child status: 0
Real time (s): 2.10058
CPU time (s): 5.18591
CPU user time (s): 5.06083
CPU system time (s): 0.125083
CPU usage (%): 246.88
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 219744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06083
system time used= 0.125083
maximum resident set size= 219100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1989
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 12084
#   total CPU time (s): 5.18591
#   total CPU user time (s): 5.06083
#   total CPU system time (s): 0.125083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040335 second user time and 0.060503 second system time

The end