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-4249587-1500695107/watcher-4249587-1500695107 -o /tmp/evaluation-result-4249587-1500695107/solver-4249587-1500695107 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1542386892 HOME/instance-4249587-1500695107.xml
pid=11552
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: 9.53 11.46 13.00 10/270 11555
/proc/meminfo: memFree=30122520/32770624 swapFree=5892/130196
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 9.53 11.46 13.00 10/270 11555
/proc/meminfo: memFree=30122520/32770624 swapFree=5892/130196
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20027 s]
/proc/loadavg: 9.53 11.46 13.00 10/270 11555
/proc/meminfo: memFree=30122520/32770624 swapFree=5892/130196
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 9.53 11.46 13.00 10/270 11555
/proc/meminfo: memFree=30122520/32770624 swapFree=5892/130196
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700214 s]
/proc/loadavg: 9.53 11.46 13.00 10/270 11555
/proc/meminfo: memFree=30122520/32770624 swapFree=5892/130196
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 9.49 11.42 12.98 20/299 11584
/proc/meminfo: memFree=30002172/32770624 swapFree=5892/130224
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
[pid=11556] ppid=11555 vsize=13801768 CPUtime=7.77 cores=1,3,5,7,9,11,13,15
/proc/11556/stat : 11556 (java) S 11555 11555 15667 0 -1 1077944320 15383 0 0 0 770 7 0 0 20 0 28 0 4780393 14133010432 34198 33554432000 4194304 4196468 140722475956656 140722475939200 139806444994295 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
/proc/11556/statm: 3450442 34198 3216 1 0 3437675 0
[pid=11556/tid=11557] ppid=11555 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11557/stat : 11557 (java) S 11555 11555 15667 0 -1 1077944384 6416 0 0 0 74 3 0 0 20 0 28 0 4780393 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806449235072 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11559] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11559/stat : 11559 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806363474576 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11560] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11560/stat : 11560 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806362421776 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11561] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11561/stat : 11561 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806361368976 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11562] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11562/stat : 11562 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806360316176 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11563] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11563/stat : 11563 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806359264400 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11564] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11564/stat : 11564 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806358211600 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11565] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11565/stat : 11565 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806357158800 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11566] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11566/stat : 11566 (java) S 11555 11555 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 34198 33554432000 4194304 4196468 140722475956656 139806356106000 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11567] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11567/stat : 11567 (java) S 11555 11555 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4780397 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805907351920 139806445005442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11568] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11568/stat : 11568 (java) S 11555 11555 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805906297888 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11569] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11569/stat : 11569 (java) S 11555 11555 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805905245040 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11570] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11570/stat : 11570 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805904193360 139806445012891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11571] ppid=11555 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11571/stat : 11571 (java) R 11555 11555 15667 0 -1 4202560 1726 0 0 0 64 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805903130192 139806428488747 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11572] ppid=11555 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11572/stat : 11572 (java) R 11555 11555 15667 0 -1 4202560 1884 0 0 0 73 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805902089240 139806429876038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11573] ppid=11555 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11573/stat : 11573 (java) S 11555 11555 15667 0 -1 1077944384 1643 0 0 0 72 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805901036144 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11574] ppid=11555 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11574/stat : 11574 (java) S 11555 11555 15667 0 -1 1077944384 2043 0 0 0 61 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805899983344 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11575] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11575/stat : 11575 (java) S 11555 11555 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805898930784 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11576] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11576/stat : 11576 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805897878064 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11577] ppid=11555 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11577/stat : 11577 (java) R 11555 11555 15667 0 -1 4202560 55 0 0 0 48 0 0 0 20 0 28 0 4780472 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805889864512 139806039565751 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11578] ppid=11555 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11578/stat : 11578 (java) R 11555 11555 15667 0 -1 4202560 42 0 0 0 39 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805888810896 139806039644998 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11579] ppid=11555 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11579/stat : 11579 (java) R 11555 11555 15667 0 -1 4202560 39 0 0 0 57 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805887760856 139806039564949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11580] ppid=11555 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11580/stat : 11580 (java) R 11555 11555 15667 0 -1 4202560 68 0 0 0 63 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805886707056 139806039565420 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11581] ppid=11555 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11581/stat : 11581 (java) R 11555 11555 15667 0 -1 4202560 33 0 0 0 56 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805885655400 139806039564852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11582] ppid=11555 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11582/stat : 11582 (java) R 11555 11555 15667 0 -1 4202560 44 0 0 0 56 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805884600344 139806039645187 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11583] ppid=11555 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11583/stat : 11583 (java) R 11555 11555 15667 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805815984112 139806039645285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11584] ppid=11555 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11584/stat : 11584 (java) R 11555 11555 15667 0 -1 4202560 34 0 0 0 54 0 0 0 20 0 28 0 4780473 14133010432 34198 33554432000 4194304 4196468 140722475956656 139805814930360 139806039564736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 13811280
[startup+3.10152 s]
/proc/loadavg: 9.49 11.42 12.98 18/299 11584
/proc/meminfo: memFree=29986644/32770624 swapFree=5892/130224
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
[pid=11556] ppid=11555 vsize=13801768 CPUtime=20.49 cores=1,3,5,7,9,11,13,15
/proc/11556/stat : 11556 (java) S 11555 11555 15667 0 -1 1077944320 22343 0 0 0 2041 8 0 0 20 0 28 0 4780393 14133010432 40589 33554432000 4194304 4196468 140722475956656 140722475939200 139806444994295 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
/proc/11556/statm: 3450442 40589 3238 1 0 3437675 0
[pid=11556/tid=11557] ppid=11555 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11557/stat : 11557 (java) S 11555 11555 15667 0 -1 1077944384 6416 0 0 0 74 3 0 0 20 0 28 0 4780393 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806449235072 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11559] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11559/stat : 11559 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806363474576 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11560] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11560/stat : 11560 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806362421776 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11561] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11561/stat : 11561 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806361368976 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11562] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11562/stat : 11562 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806360316176 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11563] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11563/stat : 11563 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806359264400 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11564] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11564/stat : 11564 (java) S 11555 11555 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806358211600 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11565] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11565/stat : 11565 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806357158800 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11566] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11566/stat : 11566 (java) S 11555 11555 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4780394 14133010432 40589 33554432000 4194304 4196468 140722475956656 139806356106000 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11567] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11567/stat : 11567 (java) S 11555 11555 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4780397 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805907351920 139806445005442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11568] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11568/stat : 11568 (java) S 11555 11555 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805906297888 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11569] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11569/stat : 11569 (java) S 11555 11555 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805905245040 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11570] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11570/stat : 11570 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805904193360 139806445012891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11571] ppid=11555 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11571/stat : 11571 (java) R 11555 11555 15667 0 -1 4202560 3927 0 0 0 124 1 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805903127768 139806426538471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11572] ppid=11555 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11572/stat : 11572 (java) S 11555 11555 15667 0 -1 1077944384 4737 0 0 0 136 0 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805902088944 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11573] ppid=11555 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11573/stat : 11573 (java) R 11555 11555 15667 0 -1 4202560 1880 0 0 0 86 0 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805901036144 139806425752326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11574] ppid=11555 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11574/stat : 11574 (java) S 11555 11555 15667 0 -1 1077944384 2846 0 0 0 68 0 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805899983344 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11575] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11575/stat : 11575 (java) S 11555 11555 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805898930784 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11576] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11576/stat : 11576 (java) S 11555 11555 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805897878064 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11577] ppid=11555 vsize=13801768 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11577/stat : 11577 (java) R 11555 11555 15667 0 -1 4202560 114 0 0 0 195 0 0 0 20 0 28 0 4780472 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805889864696 139806039564964 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11578] ppid=11555 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11578/stat : 11578 (java) R 11555 11555 15667 0 -1 4202560 81 0 0 0 177 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805888812624 139806039645138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11579] ppid=11555 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11579/stat : 11579 (java) R 11555 11555 15667 0 -1 4202560 157 0 0 0 200 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805887760768 139806039565232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11580] ppid=11555 vsize=13801768 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11580/stat : 11580 (java) R 11555 11555 15667 0 -1 4202560 292 0 0 0 214 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805886705720 139806039564797 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11581] ppid=11555 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11581/stat : 11581 (java) R 11555 11555 15667 0 -1 4202560 153 0 0 0 200 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805885655208 139806039564812 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11582] ppid=11555 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11582/stat : 11582 (java) R 11555 11555 15667 0 -1 4202560 84 0 0 0 194 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805884600432 139806039565097 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11583] ppid=11555 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11583/stat : 11583 (java) R 11555 11555 15667 0 -1 4202560 102 0 0 0 169 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805815986152 139806039645230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11584] ppid=11555 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11584/stat : 11584 (java) R 11555 11555 15667 0 -1 4202560 196 0 0 0 199 0 0 0 20 0 28 0 4780473 14133010432 40589 33554432000 4194304 4196468 140722475956656 139805814933160 139806039565044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
Current children cumulated CPU time (s) 20.49
Current children cumulated vsize (KiB) 13811280
[startup+6.30161 s]
/proc/loadavg: 9.49 11.42 12.98 19/299 11584
/proc/meminfo: memFree=29893120/32770624 swapFree=5892/130232
################
# More data... #
################
/proc/11556/task/11583/stat : 11583 (java) R 11555 11555 15667 0 -1 4202560 644 0 0 0 21559 0 0 0 20 0 28 0 4780473 14133010432 268524 33554432000 4194304 4196468 140722475956656 139805815983880 139806034437833 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11584] ppid=11555 vsize=13801768 CPUtime=216.75 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11584/stat : 11584 (java) R 11555 11555 15667 0 -1 4202560 858 0 0 0 21675 0 0 0 20 0 28 0 4780473 14133010432 268524 33554432000 4194304 4196468 140722475956656 139805814931256 139806039565097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
Current children cumulated CPU time (s) 1753.26
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.95 14.21 13.77 17/299 11684
/proc/meminfo: memFree=30607116/32770624 swapFree=5892/130552
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
[pid=11556] ppid=11555 vsize=13801768 CPUtime=2230.72 cores=1,3,5,7,9,11,13,15
/proc/11556/stat : 11556 (java) S 11555 11555 15667 0 -1 1077944320 70515 0 0 0 222967 105 0 0 20 0 28 0 4780393 14133010432 268589 33554432000 4194304 4196468 140722475956656 140722475939200 139806444994295 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
/proc/11556/statm: 3450442 268589 3296 1 0 3437675 0
[pid=11556/tid=11557] ppid=11555 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11557/stat : 11557 (java) S 11555 11555 15667 0 -1 1077944384 6416 0 0 0 74 3 0 0 20 0 28 0 4780393 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806449235072 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11559] ppid=11555 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11559/stat : 11559 (java) S 11555 11555 15667 0 -1 1077944384 741 0 0 0 81 7 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806363474576 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11560] ppid=11555 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11560/stat : 11560 (java) S 11555 11555 15667 0 -1 1077944384 1553 0 0 0 75 8 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806362421776 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11561] ppid=11555 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11561/stat : 11561 (java) S 11555 11555 15667 0 -1 1077944384 1950 0 0 0 81 8 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806361368976 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11562] ppid=11555 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11562/stat : 11562 (java) S 11555 11555 15667 0 -1 1077944384 1321 0 0 0 78 9 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806360316176 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11563] ppid=11555 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11563/stat : 11563 (java) S 11555 11555 15667 0 -1 1077944384 1103 0 0 0 77 9 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806359264400 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11564] ppid=11555 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11564/stat : 11564 (java) S 11555 11555 15667 0 -1 1077944384 576 0 0 0 78 10 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806358211600 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11565] ppid=11555 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11565/stat : 11565 (java) S 11555 11555 15667 0 -1 1077944384 447 0 0 0 73 11 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806357158800 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11566] ppid=11555 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11566/stat : 11566 (java) S 11555 11555 15667 0 -1 1077944384 526 0 0 0 78 7 0 0 20 0 28 0 4780394 14133010432 268589 33554432000 4194304 4196468 140722475956656 139806356106000 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11567] ppid=11555 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11567/stat : 11567 (java) S 11555 11555 15667 0 -1 1077944384 7154 0 0 0 179 10 0 0 20 0 28 0 4780397 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805907351920 139806445005442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11568] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11568/stat : 11568 (java) S 11555 11555 15667 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805906297952 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11569] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11569/stat : 11569 (java) S 11555 11555 15667 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805905245056 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11570] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11570/stat : 11570 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805904193360 139806445012891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11571] ppid=11555 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11571/stat : 11571 (java) S 11555 11555 15667 0 -1 1077944384 10007 0 0 0 238 2 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805903141744 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11572] ppid=11555 vsize=13801768 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11572/stat : 11572 (java) S 11555 11555 15667 0 -1 1077944384 10678 0 0 0 244 1 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805902088944 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11573] ppid=11555 vsize=13801768 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11573/stat : 11573 (java) S 11555 11555 15667 0 -1 1077944384 10237 0 0 0 209 1 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805901036144 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11574] ppid=11555 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11574/stat : 11574 (java) S 11555 11555 15667 0 -1 1077944384 7115 0 0 0 89 1 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805899983344 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11575] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11575/stat : 11575 (java) S 11555 11555 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805898930784 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11576] ppid=11555 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11576/stat : 11576 (java) S 11555 11555 15667 0 -1 1077944384 655 0 0 0 7 6 0 0 20 0 28 0 4780402 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805897878064 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11577] ppid=11555 vsize=13801768 CPUtime=277.58 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11577/stat : 11577 (java) R 11555 11555 15667 0 -1 4202560 775 0 0 0 27758 0 0 0 20 0 28 0 4780472 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805889862328 139806039564949 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11578] ppid=11555 vsize=13801768 CPUtime=276.31 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11578/stat : 11578 (java) R 11555 11555 15667 0 -1 4202560 893 0 0 0 27630 1 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805888810568 139806039385989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11579] ppid=11555 vsize=13801768 CPUtime=277.11 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11579/stat : 11579 (java) R 11555 11555 15667 0 -1 4202560 1259 0 0 0 27710 1 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805887758792 139806039564949 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11580] ppid=11555 vsize=13801768 CPUtime=277.44 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11580/stat : 11580 (java) R 11555 11555 15667 0 -1 4202560 2133 0 0 0 27744 0 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805886705992 139806039565049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11581] ppid=11555 vsize=13801768 CPUtime=276 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11581/stat : 11581 (java) R 11555 11555 15667 0 -1 4202560 1271 0 0 0 27600 0 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805885653304 139806039565049 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11582] ppid=11555 vsize=13801768 CPUtime=277.23 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11582/stat : 11582 (java) R 11555 11555 15667 0 -1 4202560 620 0 0 0 27723 0 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805884600392 139806039645138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11583] ppid=11555 vsize=13801768 CPUtime=275.38 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11583/stat : 11583 (java) R 11555 11555 15667 0 -1 4202560 856 0 0 0 27538 0 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805815986800 139806039645409 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11584] ppid=11555 vsize=13801768 CPUtime=275.89 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11584/stat : 11584 (java) R 11555 11555 15667 0 -1 4202560 862 0 0 0 27589 0 0 0 20 0 28 0 4780473 14133010432 268589 33554432000 4194304 4196468 140722475956656 139805814930944 139806039564852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
Current children cumulated CPU time (s) 2230.72
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.601 s]
/proc/loadavg: 15.96 14.33 13.82 17/300 11692
/proc/meminfo: memFree=30605492/32770624 swapFree=5892/130584
[pid=11555] ppid=11552 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11555/stat : 11555 (xcsp3-exec) S 11552 11555 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780393 9740288 346 33554432000 4194304 5098028 140723552839120 140723552837224 140533671936636 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 10063872 140723552846990 140723552847200 140723552847200 140723552849899 0
/proc/11555/statm: 2378 346 289 221 0 87 0
[pid=11556] ppid=11555 vsize=13801768 CPUtime=2400.37 cores=1,3,5,7,9,11,13,15
/proc/11556/stat : 11556 (java) S 11555 11555 15667 0 -1 1077944320 71078 0 0 0 239931 106 0 0 20 0 28 0 4780393 14133010432 268614 33554432000 4194304 4196468 140722475956656 140722475939200 139806444994295 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
/proc/11556/statm: 3450442 268614 3296 1 0 3437675 0
[pid=11556/tid=11557] ppid=11555 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11557/stat : 11557 (java) S 11555 11555 15667 0 -1 1077944384 6416 0 0 0 74 3 0 0 20 0 28 0 4780393 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806449235072 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11559] ppid=11555 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11559/stat : 11559 (java) S 11555 11555 15667 0 -1 1077944384 741 0 0 0 82 7 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806363474576 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11560] ppid=11555 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11560/stat : 11560 (java) S 11555 11555 15667 0 -1 1077944384 1574 0 0 0 78 8 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806362421776 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11561] ppid=11555 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11561/stat : 11561 (java) S 11555 11555 15667 0 -1 1077944384 1954 0 0 0 84 8 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806361368976 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11562] ppid=11555 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11562/stat : 11562 (java) S 11555 11555 15667 0 -1 1077944384 1323 0 0 0 81 9 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806360316176 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11563] ppid=11555 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11563/stat : 11563 (java) S 11555 11555 15667 0 -1 1077944384 1142 0 0 0 80 9 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806359264400 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11564] ppid=11555 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11564/stat : 11564 (java) S 11555 11555 15667 0 -1 1077944384 581 0 0 0 80 10 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806358211600 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11565] ppid=11555 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11565/stat : 11565 (java) S 11555 11555 15667 0 -1 1077944384 447 0 0 0 75 11 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806357158800 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11566] ppid=11555 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11566/stat : 11566 (java) S 11555 11555 15667 0 -1 1077944384 526 0 0 0 81 7 0 0 20 0 28 0 4780394 14133010432 268614 33554432000 4194304 4196468 140722475956656 139806356106000 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11567] ppid=11555 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11567/stat : 11567 (java) S 11555 11555 15667 0 -1 1077944384 7156 0 0 0 180 10 0 0 20 0 28 0 4780397 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805907351920 139806445005442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11568] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11568/stat : 11568 (java) S 11555 11555 15667 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805906297952 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11569] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11569/stat : 11569 (java) S 11555 11555 15667 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4780398 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805905245056 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11570] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11570/stat : 11570 (java) S 11555 11555 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805904193360 139806445012891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11571] ppid=11555 vsize=13801768 CPUtime=2.47 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11571/stat : 11571 (java) S 11555 11555 15667 0 -1 1077944384 10198 0 0 0 245 2 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805903141744 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11572] ppid=11555 vsize=13801768 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11572/stat : 11572 (java) S 11555 11555 15667 0 -1 1077944384 10953 0 0 0 248 1 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805902088944 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11573] ppid=11555 vsize=13801768 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11573/stat : 11573 (java) S 11555 11555 15667 0 -1 1077944384 10237 0 0 0 209 1 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805901036144 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11574] ppid=11555 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11574/stat : 11574 (java) S 11555 11555 15667 0 -1 1077944384 7132 0 0 0 90 1 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805899983344 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11575] ppid=11555 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11575/stat : 11575 (java) S 11555 11555 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805898930784 139806445004501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11576] ppid=11555 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11576/stat : 11576 (java) S 11555 11555 15667 0 -1 1077944384 657 0 0 0 8 6 0 0 20 0 28 0 4780402 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805897878064 139806445005442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11577] ppid=11555 vsize=13801768 CPUtime=298.79 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11577/stat : 11577 (java) R 11555 11555 15667 0 -1 4202560 775 0 0 0 29879 0 0 0 20 0 28 0 4780472 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805889862328 139806039645230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11578] ppid=11555 vsize=13801768 CPUtime=297.55 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11578/stat : 11578 (java) R 11555 11555 15667 0 -1 4202560 893 0 0 0 29754 1 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805888810224 139806039645102 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11579] ppid=11555 vsize=13801768 CPUtime=298.35 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11579/stat : 11579 (java) R 11555 11555 15667 0 -1 4202560 1260 0 0 0 29834 1 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805887761248 139806039564852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11580] ppid=11555 vsize=13801768 CPUtime=298.68 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11580/stat : 11580 (java) R 11555 11555 15667 0 -1 4202560 2137 0 0 0 29868 0 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805886705992 139806039565278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11581] ppid=11555 vsize=13801768 CPUtime=296.68 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11581/stat : 11581 (java) R 11555 11555 15667 0 -1 4202560 1271 0 0 0 29668 0 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805885653192 139806039565072 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11582] ppid=11555 vsize=13801768 CPUtime=298.47 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11582/stat : 11582 (java) R 11555 11555 15667 0 -1 4202560 620 0 0 0 29847 0 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805884600392 139806039645102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11583] ppid=11555 vsize=13801768 CPUtime=296.65 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11583/stat : 11583 (java) R 11555 11555 15667 0 -1 4202560 856 0 0 0 29665 0 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805815984584 139806039565273 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
[pid=11556/tid=11584] ppid=11555 vsize=13801768 CPUtime=297.13 cores=1,3,5,7,9,11,13,15
/proc/11556/task/11584/stat : 11584 (java) R 11555 11555 15667 0 -1 4202560 862 0 0 0 29713 0 0 0 20 0 28 0 4780473 14133010432 268614 33554432000 4194304 4196468 140722475956656 139805814931272 139806039565417 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34283520 140722475959484 140722475959660 140722475959660 140722475962319 0
Current children cumulated CPU time (s) 2400.37
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 11556 sig 9
??? kill 11555 sig 9
??? kill -11555 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 11555 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=965
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1931
# CPU time returned by wait4() is 0.002896
# while last known CPU time is 2400.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.634
CPU time (s): 2400.37
CPU user time (s): 2399.31
CPU system time (s): 1.06
CPU usage (%): 790.547
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000965
system time used= 0.001931
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 4.23673 second user time and 4.25003 second system time
The end