runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254069-1501615526/watcher-4254069-1501615526 -o /tmp/evaluation-result-4254069-1501615526/solver-4254069-1501615526 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1662366312 HOME/instance-4254069-1501615526.xml
pid=22853
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.87 2.07 2.02 3/201 22856
/proc/meminfo: memFree=30911832/32770624 swapFree=0/209160
[pid=22856] ppid=22853 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (runsolver) D 22853 22856 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61206160 24240128 108 18446744073709551615 4194304 4338465 140736339172800 140736339170440 139716850533079 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 22196224 140736339177563 140736339178053 140736339178053 140736339181514 0
/proc/22856/statm: 5918 108 54 36 0 2156 0
[startup+0.100071 s]
/proc/loadavg: 1.87 2.07 2.02 3/201 22856
/proc/meminfo: memFree=30911832/32770624 swapFree=0/209160
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200322 s]
/proc/loadavg: 1.87 2.07 2.02 3/201 22856
/proc/meminfo: memFree=30911832/32770624 swapFree=0/209160
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.310905 s]
/proc/loadavg: 1.87 2.07 2.02 3/201 22856
/proc/meminfo: memFree=30911832/32770624 swapFree=0/209160
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704943 s]
/proc/loadavg: 1.87 2.07 2.02 3/201 22856
/proc/meminfo: memFree=30911832/32770624 swapFree=0/209160
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 2.04 2.10 2.03 6/217 22872
/proc/meminfo: memFree=30814244/32770624 swapFree=0/209188
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=3.66 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 36105 0 0 0 360 6 0 0 20 0 15 0 61206170 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 29649 3177 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 8037 0 0 0 131 3 0 0 20 0 15 0 61206170 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587657950640 140587251670754 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22862] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22862/stat : 22862 (java) S 22856 22856 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587571022992 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22863] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22863/stat : 22863 (java) S 22856 22856 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587569970192 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22864] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22864/stat : 22864 (java) S 22856 22856 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587132356720 140587653724802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) R 22856 22856 18930 0 -1 4202560 10171 0 0 0 102 1 0 0 20 0 15 0 61206175 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587128137136 140587639141507 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) R 22856 22856 18930 0 -1 4202560 14985 0 0 0 100 1 0 0 20 0 15 0 61206175 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587127093872 140587631730667 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 1594 0 0 0 26 0 0 0 20 0 15 0 61206175 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206180 14316269568 29649 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 2.04 2.10 2.03 3/217 22872
/proc/meminfo: memFree=30784048/32770624 swapFree=0/209188
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=6.23 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 38123 0 0 0 616 7 0 0 20 0 15 0 61206170 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 45725 3179 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 8413 0 0 0 289 4 0 0 20 0 15 0 61206170 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587657952376 140587251496531 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22862] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22862/stat : 22862 (java) S 22856 22856 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587571022992 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22863] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22863/stat : 22863 (java) S 22856 22856 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587569970192 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22864] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22864/stat : 22864 (java) S 22856 22856 18930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587132356720 140587653724802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) S 22856 22856 18930 0 -1 1077944384 10537 0 0 0 147 1 0 0 20 0 15 0 61206175 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587128146544 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) S 22856 22856 18930 0 -1 1077944384 15792 0 0 0 149 1 0 0 20 0 15 0 61206175 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587127093744 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 2020 0 0 0 29 0 0 0 20 0 15 0 61206175 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 61206180 14316269568 45725 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.04 2.10 2.03 3/217 22872
/proc/meminfo: memFree=30710980/32770624 swapFree=0/209200
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=9.51 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 42229 0 0 0 942 9 0 0 20 0 15 0 61206170 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 52965 3202 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 8643 0 0 0 607 5 0 0 20 0 15 0 61206170 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587657950872 140587249523928 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22862] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22862/stat : 22862 (java) S 22856 22856 18930 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587571022992 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22863] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22863/stat : 22863 (java) S 22856 22856 18930 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587569970192 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22864] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22864/stat : 22864 (java) S 22856 22856 18930 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587132356720 140587653724802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) S 22856 22856 18930 0 -1 1077944384 10586 0 0 0 147 1 0 0 20 0 15 0 61206175 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587128146544 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) S 22856 22856 18930 0 -1 1077944384 16441 0 0 0 152 1 0 0 20 0 15 0 61206175 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587127093744 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 2970 0 0 0 30 0 0 0 20 0 15 0 61206175 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 1264 0 0 0 0 0 0 0 20 0 15 0 61206180 14316269568 52965 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.88 2.07 2.02 3/217 22950
/proc/meminfo: memFree=31540676/32770624 swapFree=0/209252
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=16 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 44101 0 0 0 1589 11 0 0 20 0 15 0 61206170 14316269568 51668 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 51668 3207 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=12.5 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 9046 0 0 0 1245 5 0 0 20 0 15 0 61206170 14316269568 51668 18446744073709551615 4194304 4196468 140733798475584 140587657952464 140587252835789 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 61206171 14316269568 51668 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 61206171 14316269568 51668 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
################
# More data... #
################
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) S 22856 22856 18930 0 -1 1077944384 13440 0 0 0 158 1 0 0 20 0 15 0 61206175 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587128146544 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) S 22856 22856 18930 0 -1 1077944384 19012 0 0 0 167 1 0 0 20 0 15 0 61206175 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587127093744 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 4166 0 0 0 32 0 0 0 20 0 15 0 61206175 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 1550 0 0 0 1 2 0 0 20 0 15 0 61206180 14316269568 60922 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 106.44
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.35 1.81 1.93 3/216 22955
/proc/meminfo: memFree=31298436/32770624 swapFree=0/209372
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=167.16 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 68447 0 0 0 16679 37 0 0 20 0 15 0 61206170 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 82305 3211 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=161.19 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 18467 0 0 0 16110 9 0 0 20 0 15 0 61206170 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587657953216 140587252613013 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 2167 0 0 0 42 4 0 0 20 0 15 0 61206171 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 1214 0 0 0 41 4 0 0 20 0 15 0 61206171 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22862] ppid=22856 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/22858/task/22862/stat : 22862 (java) S 22856 22856 18930 0 -1 1077944384 1754 0 0 0 41 5 0 0 20 0 15 0 61206171 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587571022992 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22863] ppid=22856 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/22858/task/22863/stat : 22863 (java) S 22856 22856 18930 0 -1 1077944384 1842 0 0 0 40 6 0 0 20 0 15 0 61206171 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587569970192 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22864] ppid=22856 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/22858/task/22864/stat : 22864 (java) S 22856 22856 18930 0 -1 1077944384 1761 0 0 0 29 4 0 0 20 0 15 0 61206172 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587132356720 140587653724802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.62 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) S 22856 22856 18930 0 -1 1077944384 14449 0 0 0 161 1 0 0 20 0 15 0 61206175 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587128146544 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) S 22856 22856 18930 0 -1 1077944384 19481 0 0 0 169 1 0 0 20 0 15 0 61206175 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587127093744 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 4351 0 0 0 32 0 0 0 20 0 15 0 61206175 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 1616 0 0 0 2 4 0 0 20 0 15 0 61206180 14316269568 82305 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 167.16
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.46 1.75 1.90 3/216 22957
/proc/meminfo: memFree=31139396/32770624 swapFree=0/209412
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=227.94 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 70993 0 0 0 22746 48 0 0 20 0 15 0 61206170 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 94641 3211 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=220.75 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 19261 0 0 0 22065 10 0 0 20 0 15 0 61206170 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587657952880 140587252612995 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 2532 0 0 0 66 6 0 0 20 0 15 0 61206171 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 1517 0 0 0 66 6 0 0 20 0 15 0 61206171 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22862] ppid=22856 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/22858/task/22862/stat : 22862 (java) S 22856 22856 18930 0 -1 1077944384 2117 0 0 0 66 7 0 0 20 0 15 0 61206171 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587571022992 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22863] ppid=22856 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/22858/task/22863/stat : 22863 (java) S 22856 22856 18930 0 -1 1077944384 2245 0 0 0 65 8 0 0 20 0 15 0 61206171 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587569970192 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22864] ppid=22856 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/22858/task/22864/stat : 22864 (java) S 22856 22856 18930 0 -1 1077944384 2059 0 0 0 41 6 0 0 20 0 15 0 61206172 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587132356720 140587653724802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.62 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) S 22856 22856 18930 0 -1 1077944384 14449 0 0 0 161 1 0 0 20 0 15 0 61206175 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587128146544 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) S 22856 22856 18930 0 -1 1077944384 19482 0 0 0 169 1 0 0 20 0 15 0 61206175 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587127093744 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 4352 0 0 0 32 0 0 0 20 0 15 0 61206175 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 1634 0 0 0 4 6 0 0 20 0 15 0 61206180 14316269568 94641 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 227.94
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.59 1.77 1.91 3/215 22957
/proc/meminfo: memFree=31144592/32770624 swapFree=0/209428
[pid=22856] ppid=22853 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22856/stat : 22856 (xcsp3-exec) S 22853 22856 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61206160 9740288 345 18446744073709551615 4194304 5098028 140733402838576 140733402836680 139825089495676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16461824 140733402841498 140733402841702 140733402841702 140733402845163 0
/proc/22856/statm: 2378 345 289 221 0 87 0
[pid=22858] ppid=22856 vsize=13980732 CPUtime=245.67 cores=1,3,5,7
/proc/22858/stat : 22858 (java) S 22856 22856 18930 0 -1 1077944320 71032 0 0 0 24519 48 0 0 20 0 15 0 61206170 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140733798458128 140587653713655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
/proc/22858/statm: 3495183 94127 3211 1 0 3483484 0
[pid=22858/tid=22859] ppid=22856 vsize=13980732 CPUtime=238.43 cores=1,3,5,7
/proc/22858/task/22859/stat : 22859 (java) R 22856 22856 18930 0 -1 4202560 19270 0 0 0 23833 10 0 0 20 0 15 0 61206170 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587657952960 140587252613402 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22860] ppid=22856 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/22858/task/22860/stat : 22860 (java) S 22856 22856 18930 0 -1 1077944384 2543 0 0 0 67 6 0 0 20 0 15 0 61206171 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587573128080 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22861] ppid=22856 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/22858/task/22861/stat : 22861 (java) S 22856 22856 18930 0 -1 1077944384 1525 0 0 0 67 6 0 0 20 0 15 0 61206171 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587572075280 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22862] ppid=22856 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/22858/task/22862/stat : 22862 (java) S 22856 22856 18930 0 -1 1077944384 2120 0 0 0 67 7 0 0 20 0 15 0 61206171 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587571022992 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22863] ppid=22856 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/22858/task/22863/stat : 22863 (java) S 22856 22856 18930 0 -1 1077944384 2253 0 0 0 66 8 0 0 20 0 15 0 61206171 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587569970192 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22864] ppid=22856 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/22858/task/22864/stat : 22864 (java) S 22856 22856 18930 0 -1 1077944384 2059 0 0 0 41 6 0 0 20 0 15 0 61206172 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587132356720 140587653724802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22865] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22865/stat : 22865 (java) S 22856 22856 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61206172 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587131302688 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22866] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22866/stat : 22866 (java) S 22856 22856 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 61206173 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587130250352 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22867] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22867/stat : 22867 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587129198672 140587653732251 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22868] ppid=22856 vsize=13980732 CPUtime=1.62 cores=1,3,5,7
/proc/22858/task/22868/stat : 22868 (java) S 22856 22856 18930 0 -1 1077944384 14449 0 0 0 161 1 0 0 20 0 15 0 61206175 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587128146544 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22869] ppid=22856 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/22858/task/22869/stat : 22869 (java) S 22856 22856 18930 0 -1 1077944384 19482 0 0 0 169 1 0 0 20 0 15 0 61206175 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587127093744 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22870] ppid=22856 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/22858/task/22870/stat : 22870 (java) S 22856 22856 18930 0 -1 1077944384 4352 0 0 0 32 0 0 0 20 0 15 0 61206175 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587126041456 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22871] ppid=22856 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22858/task/22871/stat : 22871 (java) S 22856 22856 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61206175 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587124988896 140587653723861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
[pid=22858/tid=22872] ppid=22856 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/22858/task/22872/stat : 22872 (java) S 22856 22856 18930 0 -1 1077944384 1634 0 0 0 4 6 0 0 20 0 15 0 61206180 14316269568 94127 18446744073709551615 4194304 4196468 140733798475584 140587123935664 140587653724802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140733798482387 140733798482562 140733798482562 140733798485967 0
Current children cumulated CPU time (s) 245.67
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22858 sig 9
??? kill 22856 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22856 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=647
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1295
# CPU time returned by wait4() is 0.001942
# while last known CPU time is 245.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.67
CPU user time (s): 245.19
CPU system time (s): 0.48
CPU usage (%): 102.358
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000647
system time used= 0.001295
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05322 second user time and 1.64458 second system time
The end