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-4255296-1501979051/watcher-4255296-1501979051 -o /tmp/evaluation-result-4255296-1501979051/solver-4255296-1501979051 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1173592115 HOME/instance-4255296-1501979051.xml
pid=32425
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.92 2.00 1.87 3/184 32429
/proc/meminfo: memFree=31683164/32770624 swapFree=0/279736
[pid=32429] ppid=32425 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (runsolver) D 32425 32429 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 45720408 24240128 107 18446744073709551615 4194304 4338465 140722006725120 140722006722760 139890202682071 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6729728 140722006728802 140722006729292 140722006729292 140722006732746 0
/proc/32429/statm: 5918 107 54 36 0 2156 0
[startup+0.10006 s]
/proc/loadavg: 1.92 2.00 1.87 3/184 32429
/proc/meminfo: memFree=31683164/32770624 swapFree=0/279736
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20096 s]
/proc/loadavg: 1.92 2.00 1.87 3/184 32429
/proc/meminfo: memFree=31683164/32770624 swapFree=0/279736
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300349 s]
/proc/loadavg: 1.92 2.00 1.87 3/184 32429
/proc/meminfo: memFree=31683164/32770624 swapFree=0/279736
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700207 s]
/proc/loadavg: 1.92 2.00 1.87 3/184 32429
/proc/meminfo: memFree=31683164/32770624 swapFree=0/279736
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.92 2.00 1.87 9/219 32465
/proc/meminfo: memFree=31504204/32770624 swapFree=0/279796
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13980732 CPUtime=4.06 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 29063 0 0 0 397 9 0 0 20 0 15 0 45720412 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495183 32713 3196 1 0 3483476 0
[pid=32435/tid=32437] ppid=32429 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 9514 0 0 0 134 5 0 0 20 0 15 0 45720413 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287547641240 140287143945922 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32442] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32442/stat : 32442 (java) S 32429 32429 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287460711440 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32445] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32445/stat : 32445 (java) S 32429 32429 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287459658896 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32448] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32448/stat : 32448 (java) S 32429 32429 30500 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287021651952 140287543413378 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32450] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287020598176 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287019545584 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) R 32429 32429 30500 0 -1 4202560 5869 0 0 0 100 0 0 0 20 0 15 0 45720418 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287017422792 140287527795996 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13980732 CPUtime=1.04 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) R 32429 32429 30500 0 -1 4202560 9396 0 0 0 103 1 0 0 20 0 15 0 45720418 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287016370200 140287527308475 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 2971 0 0 0 59 1 0 0 20 0 15 0 45720418 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45720422 14316269568 32713 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 1.92 2.00 1.87 7/219 32465
/proc/meminfo: memFree=31371916/32770624 swapFree=0/279796
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13980732 CPUtime=7.64 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 49678 0 0 0 752 12 0 0 20 0 15 0 45720412 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495183 44361 3197 1 0 3483476 0
[pid=32435/tid=32437] ppid=32429 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 9526 0 0 0 259 5 0 0 20 0 15 0 45720413 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287547636816 140287144176888 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32442] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32442/stat : 32442 (java) S 32429 32429 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287460711440 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32445] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32445/stat : 32445 (java) S 32429 32429 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287459658896 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32448] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32448/stat : 32448 (java) S 32429 32429 30500 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287021651952 140287543413378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32450] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287020598176 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287019545584 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) R 32429 32429 30500 0 -1 4202560 18751 0 0 0 213 2 0 0 20 0 15 0 45720418 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287017422792 140287526813247 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13980732 CPUtime=2.21 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) R 32429 32429 30500 0 -1 4202560 16962 0 0 0 219 2 0 0 20 0 15 0 45720418 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287016381720 140287522648882 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 3091 0 0 0 59 1 0 0 20 0 15 0 45720418 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 45720422 14316269568 44361 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 2.09 2.03 1.88 7/219 32465
/proc/meminfo: memFree=31240340/32770624 swapFree=0/279800
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13980732 CPUtime=16.9 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 78458 0 0 0 1675 15 0 0 20 0 15 0 45720412 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495183 50711 3212 1 0 3483476 0
[pid=32435/tid=32437] ppid=32429 vsize=13980732 CPUtime=5.84 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 10283 0 0 0 578 6 0 0 20 0 15 0 45720413 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287547637632 140287145832180 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32442] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32442/stat : 32442 (java) S 32429 32429 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287460711440 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32445] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32445/stat : 32445 (java) S 32429 32429 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45720414 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287459658896 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32448] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32448/stat : 32448 (java) S 32429 32429 30500 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287021651952 140287543413378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32450] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287020598176 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45720415 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287019545584 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13980732 CPUtime=5.11 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) R 32429 32429 30500 0 -1 4202560 33985 0 0 0 508 3 0 0 20 0 15 0 45720418 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287017429216 140287527306598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13980732 CPUtime=5.24 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) R 32429 32429 30500 0 -1 4202560 28795 0 0 0 521 3 0 0 20 0 15 0 45720418 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287016379024 140287543423578 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 3783 0 0 0 66 1 0 0 20 0 15 0 45720418 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 45720422 14316269568 50711 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 16.9
Current children cumulated vsize (KiB) 13990244
[startup+12.7012 s]
/proc/loadavg: 2.40 2.10 1.90 5/219 32465
/proc/meminfo: memFree=31106052/32770624 swapFree=0/279808
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13982780 CPUtime=27.34 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 89044 0 0 0 2713 21 0 0 20 0 15 0 45720412 14318366720 71114 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495695 71114 3235 1 0 3483988 0
[pid=32435/tid=32437] ppid=32429 vsize=13982780 CPUtime=12.21 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 11309 0 0 0 1214 7 0 0 20 0 15 0 45720413 14318366720 71114 18446744073709551615 4194304 4196468 140729414866112 140287547638480 140287145832293 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13982780 CPUtime=0.01 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 45720414 14318366720 71114 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13982780 CPUtime=0.01 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 45720414 14318366720 71114 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
################
# More data... #
################
[pid=32435/tid=32450] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287020598240 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287019545600 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13982780 CPUtime=8.87 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) S 32429 32429 30500 0 -1 1077944384 41995 0 0 0 884 3 0 0 20 0 15 0 45720418 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287017441776 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13982780 CPUtime=9.15 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) S 32429 32429 30500 0 -1 1077944384 38945 0 0 0 910 5 0 0 20 0 15 0 45720418 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287016389232 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13982780 CPUtime=1.07 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 8358 0 0 0 105 2 0 0 20 0 15 0 45720418 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 300 0 0 0 1 1 0 0 20 0 15 0 45720422 14318366720 87964 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 121.4
Current children cumulated vsize (KiB) 13992292
[startup+162.301 s]
/proc/loadavg: 1.99 2.05 1.91 3/216 32469
/proc/meminfo: memFree=30976340/32770624 swapFree=0/279928
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13982780 CPUtime=181.5 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 117006 0 0 0 18115 35 0 0 20 0 15 0 45720412 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495695 92262 3245 1 0 3483988 0
[pid=32435/tid=32437] ppid=32429 vsize=13982780 CPUtime=161.65 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 16500 0 0 0 16157 8 0 0 20 0 15 0 45720413 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287547638696 140287147462123 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13982780 CPUtime=0.15 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 1978 0 0 0 12 3 0 0 20 0 15 0 45720414 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13982780 CPUtime=0.15 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 836 0 0 0 12 3 0 0 20 0 15 0 45720414 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32442] ppid=32429 vsize=13982780 CPUtime=0.15 cores=1,3,5,7
/proc/32435/task/32442/stat : 32442 (java) S 32429 32429 30500 0 -1 1077944384 2921 0 0 0 12 3 0 0 20 0 15 0 45720414 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287460711440 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32445] ppid=32429 vsize=13982780 CPUtime=0.15 cores=1,3,5,7
/proc/32435/task/32445/stat : 32445 (java) S 32429 32429 30500 0 -1 1077944384 1155 0 0 0 12 3 0 0 20 0 15 0 45720414 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287459658896 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32448] ppid=32429 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/32435/task/32448/stat : 32448 (java) S 32429 32429 30500 0 -1 1077944384 1265 0 0 0 2 0 0 0 20 0 15 0 45720415 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287021651952 140287543413378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32450] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287020598240 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287019545600 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13982780 CPUtime=8.89 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) S 32429 32429 30500 0 -1 1077944384 43269 0 0 0 885 4 0 0 20 0 15 0 45720418 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287017441776 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13982780 CPUtime=9.15 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) S 32429 32429 30500 0 -1 1077944384 39007 0 0 0 910 5 0 0 20 0 15 0 45720418 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287016389232 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13982780 CPUtime=1.07 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 8365 0 0 0 105 2 0 0 20 0 15 0 45720418 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13982780 CPUtime=0.03 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 340 0 0 0 1 2 0 0 20 0 15 0 45720422 14318366720 92262 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 181.5
Current children cumulated vsize (KiB) 13992292
[startup+222.307 s]
/proc/loadavg: 1.99 2.04 1.92 3/216 32471
/proc/meminfo: memFree=30945076/32770624 swapFree=0/279948
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13982780 CPUtime=241.58 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 117793 0 0 0 24121 37 0 0 20 0 15 0 45720412 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495695 97749 3245 1 0 3483988 0
[pid=32435/tid=32437] ppid=32429 vsize=13982780 CPUtime=221.63 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 16710 0 0 0 22155 8 0 0 20 0 15 0 45720413 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287547641104 140287145832364 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13982780 CPUtime=0.17 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 2020 0 0 0 14 3 0 0 20 0 15 0 45720414 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13982780 CPUtime=0.17 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 862 0 0 0 14 3 0 0 20 0 15 0 45720414 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32442] ppid=32429 vsize=13982780 CPUtime=0.17 cores=1,3,5,7
/proc/32435/task/32442/stat : 32442 (java) S 32429 32429 30500 0 -1 1077944384 2937 0 0 0 14 3 0 0 20 0 15 0 45720414 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287460711440 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32445] ppid=32429 vsize=13982780 CPUtime=0.16 cores=1,3,5,7
/proc/32435/task/32445/stat : 32445 (java) S 32429 32429 30500 0 -1 1077944384 1341 0 0 0 13 3 0 0 20 0 15 0 45720414 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287459658896 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32448] ppid=32429 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/32435/task/32448/stat : 32448 (java) S 32429 32429 30500 0 -1 1077944384 1456 0 0 0 2 0 0 0 20 0 15 0 45720415 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287021651952 140287543413378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32450] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287020598240 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287019545600 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13982780 CPUtime=8.89 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) S 32429 32429 30500 0 -1 1077944384 43269 0 0 0 885 4 0 0 20 0 15 0 45720418 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287017441776 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13982780 CPUtime=9.16 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) S 32429 32429 30500 0 -1 1077944384 39119 0 0 0 911 5 0 0 20 0 15 0 45720418 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287016389232 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13982780 CPUtime=1.07 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 8365 0 0 0 105 2 0 0 20 0 15 0 45720418 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13982780 CPUtime=0.04 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 344 0 0 0 2 2 0 0 20 0 15 0 45720422 14318366720 97749 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 241.58
Current children cumulated vsize (KiB) 13992292
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.92 2.02 1.92 3/216 32472
/proc/meminfo: memFree=30938452/32770624 swapFree=0/279960
[pid=32429] ppid=32425 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/32429/stat : 32429 (xcsp3-exec) S 32425 32429 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45720408 9740288 345 18446744073709551615 4194304 5098028 140729459641952 140729459640056 140194642723452 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 4 0 0 7196144 7232144 9154560 140729459646881 140729459647085 140729459647085 140729459650539 0
/proc/32429/statm: 2378 345 289 221 0 87 0
[pid=32435] ppid=32429 vsize=13982780 CPUtime=259.3 cores=1,3,5,7
/proc/32435/stat : 32435 (java) S 32429 32429 30500 0 -1 1077944320 118317 0 0 0 25892 38 0 0 20 0 15 0 45720412 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140729414848656 140287543402231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
/proc/32435/statm: 3495695 99285 3245 1 0 3483988 0
[pid=32435/tid=32437] ppid=32429 vsize=13982780 CPUtime=239.32 cores=1,3,5,7
/proc/32435/task/32437/stat : 32437 (java) R 32429 32429 30500 0 -1 4202560 16863 0 0 0 23924 8 0 0 20 0 15 0 45720413 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287547641616 140287145832476 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32439] ppid=32429 vsize=13982780 CPUtime=0.18 cores=1,3,5,7
/proc/32435/task/32439/stat : 32439 (java) S 32429 32429 30500 0 -1 1077944384 2043 0 0 0 15 3 0 0 20 0 15 0 45720414 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287462816528 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32440] ppid=32429 vsize=13982780 CPUtime=0.18 cores=1,3,5,7
/proc/32435/task/32440/stat : 32440 (java) S 32429 32429 30500 0 -1 1077944384 878 0 0 0 15 3 0 0 20 0 15 0 45720414 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287461763984 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32442] ppid=32429 vsize=13982780 CPUtime=0.18 cores=1,3,5,7
/proc/32435/task/32442/stat : 32442 (java) S 32429 32429 30500 0 -1 1077944384 3205 0 0 0 15 3 0 0 20 0 15 0 45720414 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287460711440 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32445] ppid=32429 vsize=13982780 CPUtime=0.17 cores=1,3,5,7
/proc/32435/task/32445/stat : 32445 (java) S 32429 32429 30500 0 -1 1077944384 1365 0 0 0 14 3 0 0 20 0 15 0 45720414 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287459658896 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32448] ppid=32429 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/32435/task/32448/stat : 32448 (java) S 32429 32429 30500 0 -1 1077944384 1464 0 0 0 2 0 0 0 20 0 15 0 45720415 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287021651952 140287543413378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32450] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32450/stat : 32450 (java) S 32429 32429 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287020598240 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32452] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32452/stat : 32452 (java) S 32429 32429 30500 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45720415 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287019545600 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32454] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32454/stat : 32454 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287018494160 140287543420827 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32455] ppid=32429 vsize=13982780 CPUtime=8.89 cores=1,3,5,7
/proc/32435/task/32455/stat : 32455 (java) S 32429 32429 30500 0 -1 1077944384 43301 0 0 0 885 4 0 0 20 0 15 0 45720418 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287017441776 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32456] ppid=32429 vsize=13982780 CPUtime=9.16 cores=1,3,5,7
/proc/32435/task/32456/stat : 32456 (java) S 32429 32429 30500 0 -1 1077944384 39119 0 0 0 911 5 0 0 20 0 15 0 45720418 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287016389232 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32457] ppid=32429 vsize=13982780 CPUtime=1.07 cores=1,3,5,7
/proc/32435/task/32457/stat : 32457 (java) S 32429 32429 30500 0 -1 1077944384 8365 0 0 0 105 2 0 0 20 0 15 0 45720418 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287015336688 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32462] ppid=32429 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/32435/task/32462/stat : 32462 (java) S 32429 32429 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45720418 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287014284384 140287543412437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
[pid=32435/tid=32464] ppid=32429 vsize=13982780 CPUtime=0.05 cores=1,3,5,7
/proc/32435/task/32464/stat : 32464 (java) S 32429 32429 30500 0 -1 1077944384 344 0 0 0 2 3 0 0 20 0 15 0 45720422 14318366720 99285 18446744073709551615 4194304 4196468 140729414866112 140287013230896 140287543413378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 21053440 140729414873562 140729414873737 140729414873737 140729414877135 0
Current children cumulated CPU time (s) 259.3
Current children cumulated vsize (KiB) 13992292
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 32435 sig 9
??? kill 32429 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 32429 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=1902
# CPU time returned by wait4() is 0.001902
# while last known CPU time is 259.3
#
# 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): 259.3
CPU user time (s): 258.92
CPU system time (s): 0.38
CPU usage (%): 108.037
Max. virtual memory (cumulated for all children) (KiB): 13993688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001902
maximum resident set size= 1384
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 0.988562 second user time and 1.44579 second system time
The end