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-4254239-1501615285/watcher-4254239-1501615285 -o /tmp/evaluation-result-4254239-1501615285/solver-4254239-1501615285 -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 1543643768 HOME/instance-4254239-1501615285.xml
pid=22427
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: 2.49 2.12 1.99 2/177 22430
/proc/meminfo: memFree=31933480/32770624 swapFree=0/208880
[pid=22430] ppid=22427 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (runsolver) D 22427 22430 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61181998 24240128 106 18446744073709551615 4194304 4338465 140727688996992 140727688994632 140364111995607 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 38629376 140727689003099 140727689003589 140727689003589 140727689007050 0
/proc/22430/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.49 2.12 1.99 2/177 22430
/proc/meminfo: memFree=31933480/32770624 swapFree=0/208880
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20399 s]
/proc/loadavg: 2.49 2.12 1.99 2/177 22430
/proc/meminfo: memFree=31933480/32770624 swapFree=0/208880
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300239 s]
/proc/loadavg: 2.49 2.12 1.99 2/177 22430
/proc/meminfo: memFree=31933480/32770624 swapFree=0/208880
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702145 s]
/proc/loadavg: 2.49 2.12 1.99 2/177 22430
/proc/meminfo: memFree=31933480/32770624 swapFree=0/208880
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 2.49 2.12 1.99 6/212 22503
/proc/meminfo: memFree=31829156/32770624 swapFree=0/208892
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=3.64 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 32329 0 0 0 356 8 0 0 20 0 15 0 61182007 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 26251 3182 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 9370 0 0 0 130 4 0 0 20 0 15 0 61182007 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140123685973840 140123326659349 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22449] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140123280058768 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22450] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140123279005968 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22451] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22451/stat : 22451 (java) S 22430 22430 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61182009 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122598349680 140123681749634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) R 22430 22430 18930 0 -1 4202560 8807 0 0 0 93 1 0 0 20 0 15 0 61182012 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122594128272 140123666132363 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) R 22430 22430 18930 0 -1 4202560 10079 0 0 0 91 1 0 0 20 0 15 0 61182012 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122593072224 140123665224400 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 2753 0 0 0 40 0 0 0 20 0 15 0 61182012 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182018 14316269568 26251 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 13990244
[startup+3.10076 s]
/proc/loadavg: 2.49 2.12 1.99 5/214 22550
/proc/meminfo: memFree=31795580/32770624 swapFree=0/208912
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=8.48 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 41874 0 0 0 838 10 0 0 20 0 15 0 61182007 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 32802 3190 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 10038 0 0 0 290 4 0 0 20 0 15 0 61182007 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140123685970784 140123326379873 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22449] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140123280058768 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22450] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140123279005968 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22451] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22451/stat : 22451 (java) S 22430 22430 18930 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 61182009 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122598349680 140123681749634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=2.53 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) R 22430 22430 18930 0 -1 4202560 12923 0 0 0 252 1 0 0 20 0 15 0 61182012 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122594125488 140123659333456 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=2.51 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) R 22430 22430 18930 0 -1 4202560 14374 0 0 0 250 1 0 0 20 0 15 0 61182012 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122593074272 140123659755499 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 3182 0 0 0 44 1 0 0 20 0 15 0 61182012 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 61182018 14316269568 32802 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 13990244
[startup+6.3006 s]
/proc/loadavg: 2.77 2.18 2.01 6/212 22655
/proc/meminfo: memFree=31773264/32770624 swapFree=0/208948
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=13.18 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 55280 0 0 0 1308 10 0 0 20 0 15 0 61182007 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 33621 3198 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 10730 0 0 0 610 4 0 0 20 0 15 0 61182007 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140123685973904 140123329098343 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22449] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140123280058768 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22450] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140123279005968 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22451] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22451/stat : 22451 (java) S 22430 22430 18930 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 61182009 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122598349680 140123681749634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=3.29 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22430 22430 18930 0 -1 1077944384 17567 0 0 0 328 1 0 0 20 0 15 0 61182012 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122594138480 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22430 22430 18930 0 -1 1077944384 21433 0 0 0 320 2 0 0 20 0 15 0 61182012 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122593085680 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 3659 0 0 0 49 1 0 0 20 0 15 0 61182012 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 61182018 14316269568 33621 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 3.03 2.25 2.04 3/215 22779
/proc/meminfo: memFree=31702864/32770624 swapFree=0/209008
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=20.25 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 61865 0 0 0 2013 12 0 0 20 0 15 0 61182007 14316269568 28581 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 28581 3202 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 11544 0 0 0 1250 5 0 0 20 0 15 0 61182007 14316269568 28581 18446744073709551615 4194304 4196468 140725300062848 140123685974896 140123327859832 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 28581 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 28581 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
################
# More data... #
################
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=3.78 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22430 22430 18930 0 -1 1077944384 22700 0 0 0 376 2 0 0 20 0 15 0 61182012 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122594138480 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=3.62 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22430 22430 18930 0 -1 1077944384 26016 0 0 0 359 3 0 0 20 0 15 0 61182012 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122593085680 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 6692 0 0 0 54 1 0 0 20 0 15 0 61182012 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 679 0 0 0 0 1 0 0 20 0 15 0 61182018 14316269568 39928 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 110.14
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.87 2.12 2.02 3/215 22784
/proc/meminfo: memFree=30675428/32770624 swapFree=0/209112
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=170.19 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 73580 0 0 0 17004 15 0 0 20 0 15 0 61182007 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 51211 3204 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=162.14 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 14614 0 0 0 16208 6 0 0 20 0 15 0 61182007 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140123685975160 140123328227840 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22449] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140123280058768 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22450] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22430 22430 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140123279005968 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22451] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22451/stat : 22451 (java) S 22430 22430 18930 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 15 0 61182009 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122598349680 140123681749634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22430 22430 18930 0 -1 1077944384 23473 0 0 0 379 2 0 0 20 0 15 0 61182012 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122594138480 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=3.63 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22430 22430 18930 0 -1 1077944384 26075 0 0 0 360 3 0 0 20 0 15 0 61182012 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122593085680 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 6856 0 0 0 54 1 0 0 20 0 15 0 61182012 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 770 0 0 0 1 2 0 0 20 0 15 0 61182018 14316269568 51211 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 170.19
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.92 2.09 2.02 3/216 22793
/proc/meminfo: memFree=30668840/32770624 swapFree=0/209148
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=230.25 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 76330 0 0 0 23008 17 0 0 20 0 15 0 61182007 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 58959 3229 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=222.14 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 14760 0 0 0 22207 7 0 0 20 0 15 0 61182007 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140123685974920 140123327593644 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 657 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22449] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22430 22430 18930 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140123280058768 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22450] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22430 22430 18930 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140123279005968 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22451] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22451/stat : 22451 (java) S 22430 22430 18930 0 -1 1077944384 674 0 0 0 0 0 0 0 20 0 15 0 61182009 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122598349680 140123681749634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22430 22430 18930 0 -1 1077944384 23517 0 0 0 380 2 0 0 20 0 15 0 61182012 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122594138480 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=3.64 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22430 22430 18930 0 -1 1077944384 26215 0 0 0 361 3 0 0 20 0 15 0 61182012 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122593085680 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 7850 0 0 0 55 1 0 0 20 0 15 0 61182012 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 770 0 0 0 1 2 0 0 20 0 15 0 61182018 14316269568 58959 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 230.25
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.87 2.07 2.02 3/217 22794
/proc/meminfo: memFree=30678416/32770624 swapFree=0/209160
[pid=22430] ppid=22427 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/22430/stat : 22430 (xcsp3-exec) S 22427 22430 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61181998 9740288 344 18446744073709551615 4194304 5098028 140721048194176 140721048192280 140593270469244 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16068608 140721048199578 140721048199782 140721048199782 140721048203243 0
/proc/22430/statm: 2378 344 289 221 0 87 0
[pid=22444] ppid=22430 vsize=13980732 CPUtime=247.95 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22430 22430 18930 0 -1 1077944320 76332 0 0 0 24778 17 0 0 20 0 15 0 61182007 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140725300045392 140123681738487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
/proc/22444/statm: 3495183 59471 3229 1 0 3483484 0
[pid=22444/tid=22446] ppid=22430 vsize=13980732 CPUtime=239.83 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22430 22430 18930 0 -1 4202560 14762 0 0 0 23976 7 0 0 20 0 15 0 61182007 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140123685974920 140123327860385 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22447] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22430 22430 18930 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140123644844688 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22448] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22430 22430 18930 0 -1 1077944384 657 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140123281111568 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22449] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22430 22430 18930 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140123280058768 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22450] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22430 22430 18930 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 61182008 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140123279005968 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22451] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22451/stat : 22451 (java) S 22430 22430 18930 0 -1 1077944384 674 0 0 0 0 0 0 0 20 0 15 0 61182009 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122598349680 140123681749634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22452] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22452/stat : 22452 (java) S 22430 22430 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122597295648 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22453] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22453/stat : 22453 (java) S 22430 22430 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 61182010 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122596242800 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22454] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122595191120 140123681757083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22455] ppid=22430 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22430 22430 18930 0 -1 1077944384 23517 0 0 0 380 2 0 0 20 0 15 0 61182012 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122594138480 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22456] ppid=22430 vsize=13980732 CPUtime=3.64 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22430 22430 18930 0 -1 1077944384 26215 0 0 0 361 3 0 0 20 0 15 0 61182012 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122593085680 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22457] ppid=22430 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/22444/task/22457/stat : 22457 (java) S 22430 22430 18930 0 -1 1077944384 7850 0 0 0 55 1 0 0 20 0 15 0 61182012 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122592032880 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22458] ppid=22430 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22458/stat : 22458 (java) S 22430 22430 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182012 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122590980320 140123681748693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
[pid=22444/tid=22468] ppid=22430 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22430 22430 18930 0 -1 1077944384 770 0 0 0 2 2 0 0 20 0 15 0 61182018 14316269568 59471 18446744073709551615 4194304 4196468 140725300062848 140122589928624 140123681749634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10657792 140725300064723 140725300064898 140725300064898 140725300068303 0
Current children cumulated CPU time (s) 247.95
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 22444 sig 9
??? kill 22430 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 22430 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=949
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=949
# CPU time returned by wait4() is 0.001898
# while last known CPU time is 247.95
#
# 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): 247.95
CPU user time (s): 247.78
CPU system time (s): 0.17
CPU usage (%): 103.308
Max. virtual memory (cumulated for all children) (KiB): 13993104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000949
system time used= 0.000949
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.02236 second user time and 1.31059 second system time
The end