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-4254976-1501620138/watcher-4254976-1501620138 -o /tmp/evaluation-result-4254976-1501620138/solver-4254976-1501620138 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1940962318 HOME/instance-4254976-1501620138.xml
pid=26638
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.99 1.83 1.83 3/198 26641
/proc/meminfo: memFree=31357456/32770624 swapFree=0/214480
[pid=26641] ppid=26638 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (runsolver) D 26638 26641 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61667283 24240128 107 18446744073709551615 4194304 4338465 140731045392960 140731045390600 140253749547735 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8646656 140731045396571 140731045397061 140731045397061 140731045400522 0
/proc/26641/statm: 5918 107 54 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 1.99 1.83 1.83 3/198 26641
/proc/meminfo: memFree=31357456/32770624 swapFree=0/214480
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200216 s]
/proc/loadavg: 1.99 1.83 1.83 3/198 26641
/proc/meminfo: memFree=31357456/32770624 swapFree=0/214480
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30021 s]
/proc/loadavg: 1.99 1.83 1.83 3/198 26641
/proc/meminfo: memFree=31357456/32770624 swapFree=0/214480
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.707509 s]
/proc/loadavg: 1.99 1.83 1.83 3/198 26641
/proc/meminfo: memFree=31357456/32770624 swapFree=0/214480
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 2.07 1.85 1.84 5/214 26657
/proc/meminfo: memFree=31253056/32770624 swapFree=0/214212
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 20008 0 0 0 374 8 0 0 20 0 15 0 61667291 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 28940 3190 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 9795 0 0 0 130 5 0 0 20 0 15 0 61667291 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139722152471776 139721751567166 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61667292 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61667292 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26647] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26647/stat : 26647 (java) S 26641 26641 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61667292 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139722065542160 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26648] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26648/stat : 26648 (java) S 26641 26641 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61667292 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721745362064 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26649] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26649/stat : 26649 (java) S 26641 26641 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61667293 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721626826736 139722148244098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721625772960 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 3550 0 0 0 96 1 0 0 20 0 15 0 61667296 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 2965 0 0 0 93 0 0 0 20 0 15 0 61667296 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 2330 0 0 0 52 0 0 0 20 0 15 0 61667296 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 61667301 14316269568 28940 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13990244
[startup+3.10064 s]
/proc/loadavg: 2.07 1.85 1.84 5/214 26658
/proc/meminfo: memFree=31186344/32770624 swapFree=0/214212
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=6.37 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 22192 0 0 0 626 11 0 0 20 0 15 0 61667291 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 50769 3203 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 10087 0 0 0 287 6 0 0 20 0 15 0 61667291 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139722152471920 139721751622484 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 15 0 61667292 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 61667292 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26647] ppid=26641 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/26643/task/26647/stat : 26647 (java) S 26641 26641 18930 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 15 0 61667292 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139722065542160 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26648] ppid=26641 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/26643/task/26648/stat : 26648 (java) S 26641 26641 18930 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 61667292 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721745362064 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26649] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26649/stat : 26649 (java) S 26641 26641 18930 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 61667293 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721626826736 139722148244098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721625772960 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 3721 0 0 0 135 1 0 0 20 0 15 0 61667296 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 3141 0 0 0 137 1 0 0 20 0 15 0 61667296 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 3015 0 0 0 59 0 0 0 20 0 15 0 61667296 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 61667301 14316269568 50769 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 2.30 1.90 1.85 3/214 26658
/proc/meminfo: memFree=31114784/32770624 swapFree=0/214224
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=10.16 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 22507 0 0 0 1002 14 0 0 20 0 15 0 61667291 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 55510 3203 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=6.1 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 10094 0 0 0 604 6 0 0 20 0 15 0 61667291 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139722152470944 139721752269019 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 239 0 0 0 3 1 0 0 20 0 15 0 61667292 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 15 0 61667292 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26647] ppid=26641 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/26643/task/26647/stat : 26647 (java) S 26641 26641 18930 0 -1 1077944384 395 0 0 0 3 1 0 0 20 0 15 0 61667292 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139722065542160 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26648] ppid=26641 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/26643/task/26648/stat : 26648 (java) S 26641 26641 18930 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 15 0 61667292 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721745362064 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26649] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26649/stat : 26649 (java) S 26641 26641 18930 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 61667293 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721626826736 139722148244098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721625772960 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 3818 0 0 0 159 1 0 0 20 0 15 0 61667296 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=1.62 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 3203 0 0 0 161 1 0 0 20 0 15 0 61667296 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 3094 0 0 0 63 0 0 0 20 0 15 0 61667296 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 61667301 14316269568 55510 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 10.16
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.28 1.90 1.86 3/214 26736
/proc/meminfo: memFree=31474252/32770624 swapFree=0/214264
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=17.42 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 30534 0 0 0 1725 17 0 0 20 0 15 0 61667291 14316269568 61999 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 61999 3219 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=12.43 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 11032 0 0 0 1237 6 0 0 20 0 15 0 61667291 14316269568 61999 18446744073709551615 4194304 4196468 140728649275264 139722152472096 139721752243908 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 1487 0 0 0 7 1 0 0 20 0 15 0 61667292 14316269568 61999 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 112 0 0 0 7 1 0 0 20 0 15 0 61667292 14316269568 61999 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
################
# More data... #
################
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721625773024 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=2.75 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 12624 0 0 0 273 2 0 0 20 0 15 0 61667296 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=2.86 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 11772 0 0 0 284 2 0 0 20 0 15 0 61667296 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 8689 0 0 0 79 1 0 0 20 0 15 0 61667296 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 374 0 0 0 2 2 0 0 20 0 15 0 61667301 14316269568 76091 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.08 1.53 1.72 3/216 26748
/proc/meminfo: memFree=31260108/32770624 swapFree=0/214376
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=170.8 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 62813 0 0 0 17028 52 0 0 20 0 15 0 61667291 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 90902 3219 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=161.16 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 16617 0 0 0 16108 8 0 0 20 0 15 0 61667291 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139722152472304 139721754193894 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 3004 0 0 0 63 8 0 0 20 0 15 0 61667292 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 896 0 0 0 63 8 0 0 20 0 15 0 61667292 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26647] ppid=26641 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26643/task/26647/stat : 26647 (java) S 26641 26641 18930 0 -1 1077944384 2260 0 0 0 63 8 0 0 20 0 15 0 61667292 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139722065542160 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26648] ppid=26641 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/26643/task/26648/stat : 26648 (java) S 26641 26641 18930 0 -1 1077944384 962 0 0 0 63 8 0 0 20 0 15 0 61667292 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721745362064 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26649] ppid=26641 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/26643/task/26649/stat : 26649 (java) S 26641 26641 18930 0 -1 1077944384 1553 0 0 0 12 3 0 0 20 0 15 0 61667293 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721626826736 139722148244098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721625773024 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=2.83 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 14371 0 0 0 281 2 0 0 20 0 15 0 61667296 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=2.87 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 11858 0 0 0 285 2 0 0 20 0 15 0 61667296 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 9537 0 0 0 81 1 0 0 20 0 15 0 61667296 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 403 0 0 0 2 3 0 0 20 0 15 0 61667301 14316269568 90902 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 170.8
Current children cumulated vsize (KiB) 13990244
[startup+222.308 s]
/proc/loadavg: 1.25 1.51 1.70 3/216 26750
/proc/meminfo: memFree=31110924/32770624 swapFree=0/214404
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=231.75 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 65242 0 0 0 23113 62 0 0 20 0 15 0 61667291 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 102961 3219 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=220.7 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 17353 0 0 0 22062 8 0 0 20 0 15 0 61667291 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139722152472192 139721752269164 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 3739 0 0 0 93 10 0 0 20 0 15 0 61667292 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 1106 0 0 0 94 9 0 0 20 0 15 0 61667292 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26647] ppid=26641 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/26643/task/26647/stat : 26647 (java) S 26641 26641 18930 0 -1 1077944384 2560 0 0 0 93 10 0 0 20 0 15 0 61667292 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139722065542160 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26648] ppid=26641 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/26643/task/26648/stat : 26648 (java) S 26641 26641 18930 0 -1 1077944384 1127 0 0 0 94 9 0 0 20 0 15 0 61667292 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721745362064 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26649] ppid=26641 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/26643/task/26649/stat : 26649 (java) S 26641 26641 18930 0 -1 1077944384 1807 0 0 0 19 4 0 0 20 0 15 0 61667293 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721626826736 139722148244098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721625773024 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=2.83 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 14373 0 0 0 281 2 0 0 20 0 15 0 61667296 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=2.87 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 11861 0 0 0 285 2 0 0 20 0 15 0 61667296 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 9540 0 0 0 81 1 0 0 20 0 15 0 61667296 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 424 0 0 0 4 4 0 0 20 0 15 0 61667301 14316269568 102961 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 231.75
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.34 1.52 1.70 3/216 26751
/proc/meminfo: memFree=31091708/32770624 swapFree=0/214420
[pid=26641] ppid=26638 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26641/stat : 26641 (xcsp3-exec) S 26638 26641 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61667283 9740288 345 18446744073709551615 4194304 5098028 140722198898064 140722198896168 139741293093500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 32993280 140722198905242 140722198905446 140722198905446 140722198908907 0
/proc/26641/statm: 2378 345 289 221 0 87 0
[pid=26643] ppid=26641 vsize=13980732 CPUtime=249.74 cores=1,3,5,7
/proc/26643/stat : 26643 (java) S 26641 26641 18930 0 -1 1077944320 67603 0 0 0 24910 64 0 0 20 0 15 0 61667291 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 140728649257808 139722148232951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
/proc/26643/statm: 3495183 106124 3224 1 0 3483484 0
[pid=26643/tid=26644] ppid=26641 vsize=13980732 CPUtime=238.26 cores=1,3,5,7
/proc/26643/task/26644/stat : 26644 (java) R 26641 26641 18930 0 -1 4202560 17561 0 0 0 23818 8 0 0 20 0 15 0 61667291 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139722152472064 139721752243823 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26645] ppid=26641 vsize=13980732 CPUtime=1.13 cores=1,3,5,7
/proc/26643/task/26645/stat : 26645 (java) S 26641 26641 18930 0 -1 1077944384 3767 0 0 0 102 11 0 0 20 0 15 0 61667292 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139722067647248 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26646] ppid=26641 vsize=13980732 CPUtime=1.13 cores=1,3,5,7
/proc/26643/task/26646/stat : 26646 (java) S 26641 26641 18930 0 -1 1077944384 1122 0 0 0 103 10 0 0 20 0 15 0 61667292 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139722066594704 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26647] ppid=26641 vsize=13980732 CPUtime=1.13 cores=1,3,5,7
/proc/26643/task/26647/stat : 26647 (java) S 26641 26641 18930 0 -1 1077944384 2579 0 0 0 102 11 0 0 20 0 15 0 61667292 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139722065542160 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26648] ppid=26641 vsize=13980732 CPUtime=1.13 cores=1,3,5,7
/proc/26643/task/26648/stat : 26648 (java) S 26641 26641 18930 0 -1 1077944384 1159 0 0 0 103 10 0 0 20 0 15 0 61667292 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721745362064 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26649] ppid=26641 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/26643/task/26649/stat : 26649 (java) S 26641 26641 18930 0 -1 1077944384 1822 0 0 0 21 4 0 0 20 0 15 0 61667293 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721626826736 139722148244098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26650] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26650/stat : 26650 (java) S 26641 26641 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721625773024 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26651] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26651/stat : 26651 (java) S 26641 26641 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 61667294 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721624720368 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26652] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26652/stat : 26652 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721623668944 139722148251547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26653] ppid=26641 vsize=13980732 CPUtime=2.85 cores=1,3,5,7
/proc/26643/task/26653/stat : 26653 (java) S 26641 26641 18930 0 -1 1077944384 15239 0 0 0 283 2 0 0 20 0 15 0 61667296 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721622616560 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26654] ppid=26641 vsize=13980732 CPUtime=2.88 cores=1,3,5,7
/proc/26643/task/26654/stat : 26654 (java) S 26641 26641 18930 0 -1 1077944384 12805 0 0 0 286 2 0 0 20 0 15 0 61667296 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721621564016 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26655] ppid=26641 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/26643/task/26655/stat : 26655 (java) S 26641 26641 18930 0 -1 1077944384 9773 0 0 0 81 1 0 0 20 0 15 0 61667296 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721620511472 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26656] ppid=26641 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/26643/task/26656/stat : 26656 (java) S 26641 26641 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61667296 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721619459168 139722148243157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
[pid=26643/tid=26657] ppid=26641 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/26643/task/26657/stat : 26657 (java) S 26641 26641 18930 0 -1 1077944384 424 0 0 0 5 5 0 0 20 0 15 0 61667301 14316269568 106124 18446744073709551615 4194304 4196468 140728649275264 139721618405680 139722148244098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8425472 140728649282003 140728649282178 140728649282178 140728649285583 0
Current children cumulated CPU time (s) 249.74
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 26643 sig 9
??? kill 26641 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 26641 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1927
# CPU time returned by wait4() is 0.001927
# while last known CPU time is 249.74
#
# 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): 249.74
CPU user time (s): 249.1
CPU system time (s): 0.64
CPU usage (%): 104.054
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001927
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.08716 second user time and 1.57193 second system time
The end