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-4246758-1500688310/watcher-4246758-1500688310 -o /tmp/evaluation-result-4246758-1500688310/solver-4246758-1500688310 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1312934947 HOME/instance-4246758-1500688310.xml
pid=3487
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 16.34 15.14 14.90 10/273 3490
/proc/meminfo: memFree=29754728/32770624 swapFree=5972/257164
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 16.34 15.14 14.90 10/273 3490
/proc/meminfo: memFree=29754728/32770624 swapFree=5972/257164
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200298 s]
/proc/loadavg: 16.34 15.14 14.90 10/273 3490
/proc/meminfo: memFree=29754728/32770624 swapFree=5972/257164
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300222 s]
/proc/loadavg: 16.34 15.14 14.90 10/273 3490
/proc/meminfo: memFree=29754728/32770624 swapFree=5972/257164
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70024 s]
/proc/loadavg: 16.34 15.14 14.90 10/273 3490
/proc/meminfo: memFree=29754728/32770624 swapFree=5972/257164
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50111 s]
/proc/loadavg: 16.34 15.14 14.90 17/294 3511
/proc/meminfo: memFree=29566484/32770624 swapFree=5972/257208
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
[pid=3491] ppid=3490 vsize=13269256 CPUtime=5.63 cores=1,3,5,7,9,11,13,15
/proc/3491/stat : 3491 (java) S 3490 3490 14626 0 -1 1077944320 21989 0 0 0 513 50 0 0 20 0 20 0 4100483 13587718144 67983 33554432000 4194304 4196468 140733566432432 140733566414976 140138734968567 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
/proc/3491/statm: 3317314 67983 3253 1 0 3304547 0
[pid=3491/tid=3492] ppid=3490 vsize=13269256 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3492/stat : 3492 (java) R 3490 3490 14626 0 -1 4202560 7521 0 0 0 132 4 0 0 20 0 20 0 4100483 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138739185392 140138357330591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3494] ppid=3490 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3494/stat : 3494 (java) S 3490 3490 14626 0 -1 1077944384 92 0 0 0 4 5 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138687589136 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3495] ppid=3490 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3495/stat : 3495 (java) S 3490 3490 14626 0 -1 1077944384 88 0 0 0 4 4 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138686536592 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3496] ppid=3490 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3496/stat : 3496 (java) S 3490 3490 14626 0 -1 1077944384 54 0 0 0 4 5 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138685484048 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3497] ppid=3490 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3497/stat : 3497 (java) S 3490 3490 14626 0 -1 1077944384 215 0 0 0 4 5 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138684431504 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3498] ppid=3490 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3498/stat : 3498 (java) S 3490 3490 14626 0 -1 1077944384 84 0 0 0 4 5 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138683377936 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3499] ppid=3490 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3499/stat : 3499 (java) S 3490 3490 14626 0 -1 1077944384 78 0 0 0 4 5 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138682325392 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3500] ppid=3490 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3500/stat : 3500 (java) S 3490 3490 14626 0 -1 1077944384 91 0 0 0 4 5 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138681272848 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3501] ppid=3490 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3501/stat : 3501 (java) S 3490 3490 14626 0 -1 1077944384 102 0 0 0 4 4 0 0 20 0 20 0 4100484 13587718144 67983 33554432000 4194304 4196468 140733566432432 140138680220304 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3502] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3502/stat : 3502 (java) S 3490 3490 14626 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 20 0 4100486 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138196720112 140138734979714 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3503] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3503/stat : 3503 (java) S 3490 3490 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4100487 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138195666336 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3504] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3504/stat : 3504 (java) S 3490 3490 14626 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4100487 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138194613744 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3505] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3505/stat : 3505 (java) S 3490 3490 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138193562320 140138734987163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3506] ppid=3490 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3506/stat : 3506 (java) R 3490 3490 14626 0 -1 4202560 2725 0 0 0 97 0 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138192487952 140138715668864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3507] ppid=3490 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3507/stat : 3507 (java) R 3490 3490 14626 0 -1 4202560 2823 0 0 0 95 0 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138191446008 140138718465355 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3508] ppid=3490 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3508/stat : 3508 (java) R 3490 3490 14626 0 -1 4202560 2617 0 0 0 94 1 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138190384888 140138714622841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3509] ppid=3490 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3509/stat : 3509 (java) S 3490 3490 14626 0 -1 1077944384 4128 0 0 0 55 1 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138189351280 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3510] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3510/stat : 3510 (java) S 3490 3490 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138188298976 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3511] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3511/stat : 3511 (java) S 3490 3490 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4100491 13587718144 68005 33554432000 4194304 4196468 140733566432432 140138187246512 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 13278768
[startup+3.10118 s]
/proc/loadavg: 16.34 15.14 14.90 13/294 3511
/proc/meminfo: memFree=29280456/32770624 swapFree=5972/257208
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
[pid=3491] ppid=3490 vsize=13269256 CPUtime=11.82 cores=1,3,5,7,9,11,13,15
/proc/3491/stat : 3491 (java) S 3490 3490 14626 0 -1 1077944320 30136 0 0 0 977 205 0 0 20 0 20 0 4100483 13587718144 223612 33554432000 4194304 4196468 140733566432432 140733566414976 140138734968567 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
/proc/3491/statm: 3317314 223612 3258 1 0 3304547 0
[pid=3491/tid=3492] ppid=3490 vsize=13269256 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3492/stat : 3492 (java) S 3490 3490 14626 0 -1 1077944384 8423 0 0 0 242 10 0 0 20 0 20 0 4100483 13587718144 223612 33554432000 4194304 4196468 140733566432432 140138739207248 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3494] ppid=3490 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3494/stat : 3494 (java) R 3490 3490 14626 0 -1 4202560 276 0 0 0 21 23 0 0 20 0 20 0 4100484 13587718144 223612 33554432000 4194304 4196468 140733566432432 140138687589024 140138728073245 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3495] ppid=3490 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3495/stat : 3495 (java) R 3490 3490 14626 0 -1 4202560 246 0 0 0 21 23 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138686536792 140138719996441 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3496] ppid=3490 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3496/stat : 3496 (java) R 3490 3490 14626 0 -1 4202560 242 0 0 0 22 24 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138685484248 140138719996441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3497] ppid=3490 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3497/stat : 3497 (java) R 3490 3490 14626 0 -1 4202560 385 0 0 0 22 24 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138684431704 140138716594599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3498] ppid=3490 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3498/stat : 3498 (java) R 3490 3490 14626 0 -1 4202560 272 0 0 0 22 24 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138683378136 140138719996436 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3499] ppid=3490 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3499/stat : 3499 (java) R 3490 3490 14626 0 -1 4202560 254 0 0 0 21 23 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138682325592 140138719996441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3500] ppid=3490 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3500/stat : 3500 (java) R 3490 3490 14626 0 -1 4202560 266 0 0 0 22 23 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138681273048 140138719996450 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3501] ppid=3490 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3501/stat : 3501 (java) R 3490 3490 14626 0 -1 4202560 822 0 0 0 22 23 0 0 20 0 20 0 4100484 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138680220504 140138719996441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3502] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3502/stat : 3502 (java) S 3490 3490 14626 0 -1 1077944384 521 0 0 0 0 0 0 0 20 0 20 0 4100486 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138196718624 140138734978773 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3503] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3503/stat : 3503 (java) S 3490 3490 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4100487 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138195666400 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3504] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3504/stat : 3504 (java) S 3490 3490 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4100487 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138194613760 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3505] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3505/stat : 3505 (java) S 3490 3490 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138193562320 140138734987163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3506] ppid=3490 vsize=13269256 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3506/stat : 3506 (java) S 3490 3490 14626 0 -1 1077944384 3702 0 0 0 162 1 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138192508912 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3507] ppid=3490 vsize=13269256 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3507/stat : 3507 (java) S 3490 3490 14626 0 -1 1077944384 4385 0 0 0 160 0 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138191456368 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3508] ppid=3490 vsize=13269256 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3508/stat : 3508 (java) S 3490 3490 14626 0 -1 1077944384 4013 0 0 0 159 1 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138190403824 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3509] ppid=3490 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3509/stat : 3509 (java) S 3490 3490 14626 0 -1 1077944384 4967 0 0 0 72 1 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138189351280 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3510] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3510/stat : 3510 (java) S 3490 3490 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138188298976 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3511] ppid=3490 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3511/stat : 3511 (java) S 3490 3490 14626 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4100491 13587718144 224124 33554432000 4194304 4196468 140733566432432 140138187246512 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 13278768
[startup+6.30155 s]
/proc/loadavg: 15.75 15.03 14.86 17/302 3519
/proc/meminfo: memFree=28641220/32770624 swapFree=5972/257220
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
[pid=3491] ppid=3490 vsize=13801768 CPUtime=31.15 cores=1,3,5,7,9,11,13,15
/proc/3491/stat : 3491 (java) S 3490 3490 14626 0 -1 1077944320 33768 0 0 0 2796 319 0 0 20 0 28 0 4100483 14133010432 295735 33554432000 4194304 4196468 140733566432432 140733566414976 140138734968567 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
/proc/3491/statm: 3450442 295735 3282 1 0 3437675 0
[pid=3491/tid=3492] ppid=3490 vsize=13801768 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3492/stat : 3492 (java) S 3490 3490 14626 0 -1 1077944384 8561 0 0 0 325 10 0 0 20 0 28 0 4100483 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138739209344 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3494] ppid=3490 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3494/stat : 3494 (java) S 3490 3490 14626 0 -1 1077944384 397 0 0 0 121 37 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138687589136 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3495] ppid=3490 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3495/stat : 3495 (java) S 3490 3490 14626 0 -1 1077944384 428 0 0 0 121 37 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138686536592 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3496] ppid=3490 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3496/stat : 3496 (java) S 3490 3490 14626 0 -1 1077944384 432 0 0 0 123 37 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138685484048 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3497] ppid=3490 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3497/stat : 3497 (java) S 3490 3490 14626 0 -1 1077944384 822 0 0 0 120 37 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138684431504 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3498] ppid=3490 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3498/stat : 3498 (java) S 3490 3490 14626 0 -1 1077944384 430 0 0 0 122 38 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138683377936 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3499] ppid=3490 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3499/stat : 3499 (java) S 3490 3490 14626 0 -1 1077944384 372 0 0 0 122 37 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138682325392 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3500] ppid=3490 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3500/stat : 3500 (java) S 3490 3490 14626 0 -1 1077944384 388 0 0 0 122 36 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138681272848 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3501] ppid=3490 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3501/stat : 3501 (java) S 3490 3490 14626 0 -1 1077944384 945 0 0 0 121 37 0 0 20 0 28 0 4100484 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138680220304 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3502] ppid=3490 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3502/stat : 3502 (java) S 3490 3490 14626 0 -1 1077944384 1616 0 0 0 9 0 0 0 20 0 28 0 4100486 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138196720112 140138734979714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3503] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3503/stat : 3503 (java) S 3490 3490 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4100487 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138195666400 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3504] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3504/stat : 3504 (java) S 3490 3490 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4100487 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138194613760 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3505] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3505/stat : 3505 (java) S 3490 3490 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4100491 14133010432 295735 33554432000 4194304 4196468 140733566432432 140138193562320 140138734987163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
################
# More data... #
################
[pid=3491/tid=4061] ppid=3490 vsize=13801768 CPUtime=81.76 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4061/stat : 4061 (java) R 3490 3490 14626 0 -1 4202560 887 0 0 0 8176 0 0 0 20 0 28 0 4120511 14133010432 853529 33554432000 4194304 4196468 140733566432432 140138173415336 140138366987038 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4062] ppid=3490 vsize=13801768 CPUtime=80.66 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4062/stat : 4062 (java) R 3490 3490 14626 0 -1 4202560 715 0 0 0 8066 0 0 0 20 0 28 0 4120511 14133010432 853529 33554432000 4194304 4196468 140733566432432 140138175520376 140138367659696 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
Current children cumulated CPU time (s) 2111.58
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+319.702 s]
/proc/loadavg: 15.87 15.10 14.88 17/299 4080
/proc/meminfo: memFree=26136248/32770624 swapFree=5972/257692
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
[pid=3491] ppid=3490 vsize=13801768 CPUtime=2400.47 cores=1,3,5,7,9,11,13,15
/proc/3491/stat : 3491 (java) S 3490 3490 14626 0 -1 1077944320 260303 0 0 0 239269 778 0 0 20 0 28 0 4100483 14133010432 853535 33554432000 4194304 4196468 140733566432432 140733566414976 140138734968567 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
/proc/3491/statm: 3450442 853535 3314 1 0 3437675 0
[pid=3491/tid=3492] ppid=3490 vsize=13801768 CPUtime=3.36 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3492/stat : 3492 (java) S 3490 3490 14626 0 -1 1077944384 10151 0 0 0 326 10 0 0 20 0 28 0 4100483 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138739209344 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3494] ppid=3490 vsize=13801768 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3494/stat : 3494 (java) S 3490 3490 14626 0 -1 1077944384 2718 0 0 0 693 82 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138687589136 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3495] ppid=3490 vsize=13801768 CPUtime=7.77 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3495/stat : 3495 (java) S 3490 3490 14626 0 -1 1077944384 3826 0 0 0 687 90 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138686536592 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3496] ppid=3490 vsize=13801768 CPUtime=7.83 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3496/stat : 3496 (java) S 3490 3490 14626 0 -1 1077944384 3292 0 0 0 696 87 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138685484048 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3497] ppid=3490 vsize=13801768 CPUtime=7.73 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3497/stat : 3497 (java) S 3490 3490 14626 0 -1 1077944384 3315 0 0 0 687 86 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138684431504 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3498] ppid=3490 vsize=13801768 CPUtime=7.85 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3498/stat : 3498 (java) S 3490 3490 14626 0 -1 1077944384 3051 0 0 0 701 84 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138683377936 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3499] ppid=3490 vsize=13801768 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3499/stat : 3499 (java) S 3490 3490 14626 0 -1 1077944384 3022 0 0 0 690 86 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138682325392 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3500] ppid=3490 vsize=13801768 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3500/stat : 3500 (java) S 3490 3490 14626 0 -1 1077944384 3417 0 0 0 696 80 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138681272848 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3501] ppid=3490 vsize=13801768 CPUtime=7.72 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3501/stat : 3501 (java) S 3490 3490 14626 0 -1 1077944384 3221 0 0 0 688 84 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138680220304 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3502] ppid=3490 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3502/stat : 3502 (java) S 3490 3490 14626 0 -1 1077944384 10666 0 0 0 193 12 0 0 20 0 28 0 4100486 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138196720112 140138734979714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3503] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3503/stat : 3503 (java) S 3490 3490 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4100487 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138195666400 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3504] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3504/stat : 3504 (java) S 3490 3490 14626 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 28 0 4100487 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138194613760 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3505] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3505/stat : 3505 (java) S 3490 3490 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138193562320 140138734987163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3506] ppid=3490 vsize=13801768 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3506/stat : 3506 (java) S 3490 3490 14626 0 -1 1077944384 22053 0 0 0 417 4 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138192508912 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3507] ppid=3490 vsize=13801768 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3507/stat : 3507 (java) S 3490 3490 14626 0 -1 1077944384 21492 0 0 0 391 2 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138191456368 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3508] ppid=3490 vsize=13801768 CPUtime=5.08 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3508/stat : 3508 (java) S 3490 3490 14626 0 -1 1077944384 27376 0 0 0 503 5 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138190403824 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3509] ppid=3490 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3509/stat : 3509 (java) S 3490 3490 14626 0 -1 1077944384 25838 0 0 0 134 4 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138189351280 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3510] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3510/stat : 3510 (java) S 3490 3490 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138188298976 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3511] ppid=3490 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3511/stat : 3511 (java) S 3490 3490 14626 0 -1 1077944384 2991 0 0 0 11 15 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138187246512 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4072] ppid=3490 vsize=13801768 CPUtime=33.15 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4072/stat : 4072 (java) R 3490 3490 14626 0 -1 4202560 734 0 0 0 3315 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138179733512 140138359368441 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4073] ppid=3490 vsize=13801768 CPUtime=33.15 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4073/stat : 4073 (java) R 3490 3490 14626 0 -1 4202560 4261 0 0 0 3315 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138178681872 140138360208129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4074] ppid=3490 vsize=13801768 CPUtime=33.2 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4074/stat : 4074 (java) R 3490 3490 14626 0 -1 4202560 889 0 0 0 3320 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138173415480 140138359369618 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4075] ppid=3490 vsize=13801768 CPUtime=32.29 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4075/stat : 4075 (java) R 3490 3490 14626 0 -1 4202560 762 0 0 0 3229 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138174475080 140138366986456 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4076] ppid=3490 vsize=13801768 CPUtime=33.16 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4076/stat : 4076 (java) R 3490 3490 14626 0 -1 4202560 1034 0 0 0 3316 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138176575640 140138359368317 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4077] ppid=3490 vsize=13801768 CPUtime=33.19 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4077/stat : 4077 (java) R 3490 3490 14626 0 -1 4202560 3268 0 0 0 3319 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138177633352 140138366986623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4078] ppid=3490 vsize=13801768 CPUtime=33.21 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4078/stat : 4078 (java) R 3490 3490 14626 0 -1 4202560 484 0 0 0 3321 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138175523320 140138366400264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4079] ppid=3490 vsize=13801768 CPUtime=33.19 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4079/stat : 4079 (java) R 3490 3490 14626 0 -1 4202560 452 0 0 0 3319 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138172363064 140138359369172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
Current children cumulated CPU time (s) 2400.47
Current children cumulated vsize (KiB) 13811280
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 3491 sig 9
??? kill 3490 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+319.702 s]
/proc/loadavg: 15.87 15.10 14.88 17/299 4080
/proc/meminfo: memFree=26136248/32770624 swapFree=5972/257692
[pid=3490] ppid=3487 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3490/stat : 3490 (xcsp3-exec) S 3487 3490 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4100482 9740288 346 33554432000 4194304 5098028 140724477335376 140724477333480 140566966731388 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36306944 140724477342862 140724477343072 140724477343072 140724477345771 0
/proc/3490/statm: 2378 346 289 221 0 87 0
[pid=3491] ppid=3490 vsize=13801768 CPUtime=2400.47 cores=1,3,5,7,9,11,13,15
/proc/3491/stat : 3491 (java) S 3490 3490 14626 0 -1 1077944320 260303 0 0 0 239269 778 0 0 20 0 28 0 4100483 14133010432 853535 33554432000 4194304 4196468 140733566432432 140733566414976 140138734968567 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
/proc/3491/statm: 3450442 853535 3314 1 0 3437675 0
[pid=3491/tid=3492] ppid=3490 vsize=13801768 CPUtime=3.36 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3492/stat : 3492 (java) S 3490 3490 14626 0 -1 1077944384 10151 0 0 0 326 10 0 0 20 0 28 0 4100483 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138739209344 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3494] ppid=3490 vsize=13801768 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3494/stat : 3494 (java) S 3490 3490 14626 0 -1 1077944384 2718 0 0 0 693 82 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138687589136 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3495] ppid=3490 vsize=13801768 CPUtime=7.77 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3495/stat : 3495 (java) S 3490 3490 14626 0 -1 1077944384 3826 0 0 0 687 90 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138686536592 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3496] ppid=3490 vsize=13801768 CPUtime=7.83 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3496/stat : 3496 (java) S 3490 3490 14626 0 -1 1077944384 3292 0 0 0 696 87 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138685484048 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3497] ppid=3490 vsize=13801768 CPUtime=7.73 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3497/stat : 3497 (java) S 3490 3490 14626 0 -1 1077944384 3315 0 0 0 687 86 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138684431504 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3498] ppid=3490 vsize=13801768 CPUtime=7.85 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3498/stat : 3498 (java) S 3490 3490 14626 0 -1 1077944384 3051 0 0 0 701 84 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138683377936 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3499] ppid=3490 vsize=13801768 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3499/stat : 3499 (java) S 3490 3490 14626 0 -1 1077944384 3022 0 0 0 690 86 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138682325392 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3500] ppid=3490 vsize=13801768 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3500/stat : 3500 (java) S 3490 3490 14626 0 -1 1077944384 3417 0 0 0 696 80 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138681272848 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3501] ppid=3490 vsize=13801768 CPUtime=7.72 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3501/stat : 3501 (java) S 3490 3490 14626 0 -1 1077944384 3221 0 0 0 688 84 0 0 20 0 28 0 4100484 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138680220304 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3502] ppid=3490 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3502/stat : 3502 (java) S 3490 3490 14626 0 -1 1077944384 10666 0 0 0 193 12 0 0 20 0 28 0 4100486 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138196720112 140138734979714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3503] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3503/stat : 3503 (java) S 3490 3490 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4100487 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138195666400 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3504] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3504/stat : 3504 (java) S 3490 3490 14626 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 28 0 4100487 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138194613760 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3505] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3505/stat : 3505 (java) S 3490 3490 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138193562320 140138734987163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3506] ppid=3490 vsize=13801768 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3506/stat : 3506 (java) S 3490 3490 14626 0 -1 1077944384 22053 0 0 0 417 4 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138192508912 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3507] ppid=3490 vsize=13801768 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3507/stat : 3507 (java) S 3490 3490 14626 0 -1 1077944384 21492 0 0 0 391 2 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138191456368 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3508] ppid=3490 vsize=13801768 CPUtime=5.08 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3508/stat : 3508 (java) S 3490 3490 14626 0 -1 1077944384 27376 0 0 0 503 5 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138190403824 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3509] ppid=3490 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3509/stat : 3509 (java) S 3490 3490 14626 0 -1 1077944384 25838 0 0 0 134 4 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138189351280 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3510] ppid=3490 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3510/stat : 3510 (java) S 3490 3490 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138188298976 140138734978773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=3511] ppid=3490 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/3491/task/3511/stat : 3511 (java) S 3490 3490 14626 0 -1 1077944384 2991 0 0 0 11 15 0 0 20 0 28 0 4100491 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138187246512 140138734979714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 7 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4072] ppid=3490 vsize=13801768 CPUtime=33.15 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4072/stat : 4072 (java) R 3490 3490 14626 0 -1 4202560 734 0 0 0 3315 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138179733512 140138359368441 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4073] ppid=3490 vsize=13801768 CPUtime=33.15 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4073/stat : 4073 (java) R 3490 3490 14626 0 -1 4202560 4261 0 0 0 3315 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138178681872 140138360208129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4074] ppid=3490 vsize=13801768 CPUtime=33.2 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4074/stat : 4074 (java) R 3490 3490 14626 0 -1 4202560 889 0 0 0 3320 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138173415480 140138359369618 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4075] ppid=3490 vsize=13801768 CPUtime=32.29 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4075/stat : 4075 (java) R 3490 3490 14626 0 -1 4202560 762 0 0 0 3229 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138174475080 140138366986456 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4076] ppid=3490 vsize=13801768 CPUtime=33.16 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4076/stat : 4076 (java) R 3490 3490 14626 0 -1 4202560 1034 0 0 0 3316 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138176575640 140138359368317 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4077] ppid=3490 vsize=13801768 CPUtime=33.19 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4077/stat : 4077 (java) R 3490 3490 14626 0 -1 4202560 3268 0 0 0 3319 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138177633352 140138366986623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4078] ppid=3490 vsize=13801768 CPUtime=33.21 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4078/stat : 4078 (java) R 3490 3490 14626 0 -1 4202560 484 0 0 0 3321 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138175523320 140138366400264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
[pid=3491/tid=4079] ppid=3490 vsize=13801768 CPUtime=33.19 cores=1,3,5,7,9,11,13,15
/proc/3491/task/4079/stat : 4079 (java) R 3490 3490 14626 0 -1 4202560 452 0 0 0 3319 0 0 0 20 0 28 0 4129129 14133010432 853535 33554432000 4194304 4196468 140733566432432 140138172363064 140138359369172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140733566436540 140733566436716 140733566436716 140733566439375 0
Current children cumulated CPU time (s) 2400.47
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3490 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1597
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=798
# CPU time returned by wait4() is 0.002395
# while last known CPU time is 2400.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 319.713
CPU time (s): 2400.47
CPU user time (s): 2392.69
CPU system time (s): 7.78
CPU usage (%): 750.821
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001597
system time used= 0.000798
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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 3.80233 second user time and 5.04947 second system time
The end