runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15216 MiB free)
memory of node 1: 16384 MiB (15646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270332-1502623042/watcher-4270332-1502623042 -o /tmp/evaluation-result-4270332-1502623042/solver-4270332-1502623042 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 444224057 HOME/instance-4270332-1502623042.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23480, runsolver pid=23477
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.51 1.64 1.74 3/207 23490
/proc/meminfo: memFree=31593704/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13574484 memory=19572 CPUtime=0.04 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 4264 0 0 0 4 0 0 0 20 0 9 0 50644846 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3393621 4893 2138 1 0 3383118 0
[pid=23482/tid=23483] ppid=23480 vsize=13574484 memory=-8713483618642459742 CPUtime=0.04 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 2970 0 0 0 4 0 0 0 20 0 9 0 50644846 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140369303793528 140369292236149 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13574484 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50644847 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13574484 memory=140570018768512 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50644847 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50644847 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 50644847 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13574484 memory=140570018768512 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 50644848 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 50644849 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368776971040 140369299568341 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 50644849 13900271616 4893 18446744073709551615 4194304 4196468 140734671771760 140368775918704 140369299568341 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20952 KiB
[startup+0.21038 s]*
/proc/loadavg: 1.51 1.64 1.74 5/213 23496
/proc/meminfo: memFree=31587032/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13974352 memory=30316 CPUtime=0.16 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 5979 0 0 0 15 1 0 0 20 0 15 0 50644846 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3493588 7579 2959 1 0 3482964 0
[pid=23482/tid=23483] ppid=23480 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 3483 0 0 0 10 0 0 0 20 0 15 0 50644846 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140369303789136 140369291795262 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13974352 memory=3763241313312237216 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50644847 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13974352 memory=140570018768512 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50644848 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50644849 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368776971040 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50644849 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368775918704 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) R 23480 23480 11586 0 -1 4202560 519 0 0 0 0 0 0 0 20 0 15 0 50644851 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368773814896 140369283027730 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) R 23480 23480 11586 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 50644851 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368772762096 140369299569282 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13974352 memory=140570018768512 CPUtime=0.03 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) R 23480 23480 11586 0 -1 4202560 639 0 0 0 3 0 0 0 20 0 15 0 50644851 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368771705720 140369278529162 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13974352 memory=140570018768512 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644856 14309736448 7579 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31696 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.51 1.64 1.74 3/213 23496
/proc/meminfo: memFree=31574848/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13979632 memory=40616 CPUtime=0.35 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 9529 0 0 0 32 3 0 0 20 0 15 0 50644846 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3494652 10154 3048 1 0 3482964 0
[pid=23482/tid=23483] ppid=23480 vsize=13979632 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 6744 0 0 0 19 2 0 0 20 0 15 0 50644846 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140369303759824 140369292237853 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13979632 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14314094592 10154 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14314094592 10154 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50644847 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50644848 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50644849 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368776971040 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50644849 14314094592 10154 18446744073709551615 4194304 4196468 140734671771760 140368775918704 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14314094592 10154 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) S 23480 23480 11586 0 -1 1077944384 677 0 0 0 2 0 0 0 20 0 15 0 50644851 14314094592 10154 18446744073709551615 4194304 4196468 140734671771760 140368773814896 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13979632 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) S 23480 23480 11586 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 50644851 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368772762096 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13979632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) S 23480 23480 11586 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 15 0 50644851 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368771709808 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14315143168 10154 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644856 14314094592 10154 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13989144 KiB
Current children cumulated memory: 41996 KiB
[startup+0.703861 s]
/proc/loadavg: 1.51 1.64 1.74 7/213 23496
/proc/meminfo: memFree=31559960/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13980732 memory=74284 CPUtime=1.29 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 12781 0 0 0 124 5 0 0 20 0 15 0 50644846 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3495183 18571 3153 1 0 3483476 0
[pid=23482/tid=23483] ppid=23480 vsize=13980732 memory=6224908515443499584 CPUtime=0.59 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 8007 0 0 0 56 3 0 0 20 0 15 0 50644846 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140369303792432 140368941143143 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13980732 memory=11 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50644848 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13980732 memory=3 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368776971040 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368775918704 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13980732 memory=39 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) R 23480 23480 11586 0 -1 4202560 1403 0 0 0 20 0 0 0 20 0 15 0 50644851 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368773798976 140369283115504 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13980732 memory=4120 CPUtime=0.2 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) R 23480 23480 11586 0 -1 4202560 783 0 0 0 20 0 0 0 20 0 15 0 50644851 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368772747408 140369280203039 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) S 23480 23480 11586 0 -1 1077944384 1282 0 0 0 26 0 0 0 20 0 15 0 50644851 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368771708992 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13980732 memory=140569917530736 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644856 14316269568 18571 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75664 KiB
[startup+1.50078 s]
/proc/loadavg: 1.51 1.64 1.74 3/213 23496
/proc/meminfo: memFree=31529368/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13980732 memory=107784 CPUtime=2.21 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 14092 0 0 0 215 6 0 0 20 0 15 0 50644846 14316269568 26946 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3495183 26946 3168 1 0 3483476 0
[pid=23482/tid=23483] ppid=23480 vsize=13980732 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 8618 0 0 0 135 4 0 0 20 0 15 0 50644846 14316269568 26946 18446744073709551615 4194304 4196468 140734671771760 140369303796440 140368944592650 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 26946 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 26946 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50644847 14316269568 26946 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13980732 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368775918720 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13980732 memory=201768973678464 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13980732 memory=-6421031960926448530 CPUtime=1.98 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) S 23480 23480 11586 0 -1 1077944384 8079 0 0 0 197 1 0 0 20 0 15 0 50644851 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368773814896 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13980732 memory=4120 CPUtime=2.12 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) S 23480 23480 11586 0 -1 1077944384 8502 0 0 0 211 1 0 0 20 0 15 0 50644851 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368772762096 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13980732 memory=28960 CPUtime=0.54 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) S 23480 23480 11586 0 -1 1077944384 5118 0 0 0 53 1 0 0 20 0 15 0 50644851 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368771709808 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13980732 memory=1716 CPUtime=0.03 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 243 0 0 0 1 2 0 0 20 0 15 0 50644856 14316269568 47390 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 107.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 190940 KiB
[startup+162.301 s]
/proc/loadavg: 1.27 1.54 1.69 3/212 23501
/proc/meminfo: memFree=31484204/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13980732 memory=170640 CPUtime=167.58 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 48342 0 0 0 16728 30 0 0 20 0 15 0 50644846 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3495183 42660 3234 1 0 3483476 0
[pid=23482/tid=23483] ppid=23480 vsize=13980732 memory=170640 CPUtime=161.87 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 15419 0 0 0 16181 6 0 0 20 0 15 0 50644846 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140369303797648 140368945742949 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13980732 memory=170640 CPUtime=0.18 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 954 0 0 0 14 4 0 0 20 0 15 0 50644847 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13980732 memory=170640 CPUtime=0.17 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1364 0 0 0 13 4 0 0 20 0 15 0 50644847 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13980732 memory=170640 CPUtime=0.17 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 441 0 0 0 14 3 0 0 20 0 15 0 50644847 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13980732 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 1373 0 0 0 14 4 0 0 20 0 15 0 50644847 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13980732 memory=170640 CPUtime=0.07 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 1660 0 0 0 6 1 0 0 20 0 15 0 50644848 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13980732 memory=170640 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368776971104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368775918720 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13980732 memory=1380 CPUtime=2.07 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) S 23480 23480 11586 0 -1 1077944384 9991 0 0 0 206 1 0 0 20 0 15 0 50644851 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368773814896 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13980732 memory=4120 CPUtime=2.17 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) S 23480 23480 11586 0 -1 1077944384 9686 0 0 0 216 1 0 0 20 0 15 0 50644851 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368772762096 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13980732 memory=28960 CPUtime=0.55 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) S 23480 23480 11586 0 -1 1077944384 5836 0 0 0 54 1 0 0 20 0 15 0 50644851 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368771709808 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13980732 memory=170640 CPUtime=0.05 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 277 0 0 0 2 3 0 0 20 0 15 0 50644856 14316269568 42660 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 167.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 172020 KiB
[startup+222.301 s]
/proc/loadavg: 1.21 1.47 1.66 3/211 23503
/proc/meminfo: memFree=31503308/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13980732 memory=172696 CPUtime=227.84 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 52857 0 0 0 22751 33 0 0 20 0 15 0 50644846 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3495183 43174 3234 1 0 3483476 0
[pid=23482/tid=23483] ppid=23480 vsize=13980732 memory=172696 CPUtime=221.76 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 16105 0 0 0 22169 7 0 0 20 0 15 0 50644846 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140369303797040 140368945465168 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13980732 memory=170648 CPUtime=0.24 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1023 0 0 0 20 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13980732 memory=1380 CPUtime=0.23 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1411 0 0 0 19 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13980732 memory=172696 CPUtime=0.23 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 455 0 0 0 19 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13980732 memory=172696 CPUtime=0.23 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 1824 0 0 0 19 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13980732 memory=172696 CPUtime=0.1 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 1919 0 0 0 9 1 0 0 20 0 15 0 50644848 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368776971104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13980732 memory=281139836776672 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368775918720 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13980732 memory=4120 CPUtime=2.08 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) S 23480 23480 11586 0 -1 1077944384 10329 0 0 0 207 1 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368773814896 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13980732 memory=28960 CPUtime=2.23 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) S 23480 23480 11586 0 -1 1077944384 11083 0 0 0 221 2 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368772762096 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) S 23480 23480 11586 0 -1 1077944384 7060 0 0 0 55 1 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368771709808 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13980732 memory=170648 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13980732 memory=4120 CPUtime=0.09 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 307 0 0 0 4 5 0 0 20 0 15 0 50644856 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 227.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 174076 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.37 1.49 1.66 3/211 23584
/proc/meminfo: memFree=31568972/32770624 swapFree=67108860/67108860
[pid=23480] ppid=23477 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23480/stat : 23480 (xcsp3-exec) S 23477 23480 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50644840 9740288 345 18446744073709551615 4194304 5098028 140726635586320 140726635584424 139858239640188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 27168768 140726635590015 140726635590218 140726635590218 140726635593707 0
/proc/23480/statm: 2378 345 289 221 0 87 0
[pid=23482] ppid=23480 vsize=13980732 memory=172696 CPUtime=245.64 cores=1,3,5,7
/proc/23482/stat : 23482 (java) S 23480 23480 11586 0 -1 1077944320 53206 0 0 0 24530 34 0 0 20 0 15 0 50644846 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140734671754304 140369299558135 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
/proc/23482/statm: 3495183 43174 3234 1 0 3483476 0
[pid=23482/tid=23483] ppid=23480 vsize=13980732 memory=1580 CPUtime=239.43 cores=1,3,5,7
/proc/23482/task/23483/stat : 23483 (java) R 23480 23480 11586 0 -1 4202560 16127 0 0 0 23936 7 0 0 20 0 15 0 50644846 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140369303797648 140368946219070 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23484] ppid=23480 vsize=13980732 memory=2168 CPUtime=0.25 cores=1,3,5,7
/proc/23482/task/23484/stat : 23484 (java) S 23480 23480 11586 0 -1 1077944384 1028 0 0 0 21 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368899554192 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23485] ppid=23480 vsize=13980732 memory=4126316290023845779 CPUtime=0.25 cores=1,3,5,7
/proc/23482/task/23485/stat : 23485 (java) S 23480 23480 11586 0 -1 1077944384 1413 0 0 0 21 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368898501392 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23486] ppid=23480 vsize=13980732 memory=172696 CPUtime=0.25 cores=1,3,5,7
/proc/23482/task/23486/stat : 23486 (java) S 23480 23480 11586 0 -1 1077944384 457 0 0 0 21 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368897449104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23487] ppid=23480 vsize=13980732 memory=956 CPUtime=0.25 cores=1,3,5,7
/proc/23482/task/23487/stat : 23487 (java) S 23480 23480 11586 0 -1 1077944384 1824 0 0 0 21 4 0 0 20 0 15 0 50644847 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368896396304 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23488] ppid=23480 vsize=13980732 memory=1236 CPUtime=0.12 cores=1,3,5,7
/proc/23482/task/23488/stat : 23488 (java) S 23480 23480 11586 0 -1 1077944384 1921 0 0 0 11 1 0 0 20 0 15 0 50644848 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368778025072 140369299569282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23489] ppid=23480 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23489/stat : 23489 (java) S 23480 23480 11586 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368776971104 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23490] ppid=23480 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23490/stat : 23490 (java) S 23480 23480 11586 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 50644849 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368775918720 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23491] ppid=23480 vsize=13980732 memory=-7175204567652784766 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23491/stat : 23491 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368774867024 140369299576731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23492] ppid=23480 vsize=13980732 memory=7100839861465685612 CPUtime=2.09 cores=1,3,5,7
/proc/23482/task/23492/stat : 23492 (java) S 23480 23480 11586 0 -1 1077944384 10504 0 0 0 208 1 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368773814896 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23493] ppid=23480 vsize=13980732 memory=2168 CPUtime=2.25 cores=1,3,5,7
/proc/23482/task/23493/stat : 23493 (java) S 23480 23480 11586 0 -1 1077944384 11156 0 0 0 223 2 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368772762096 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23494] ppid=23480 vsize=13980732 memory=836 CPUtime=0.57 cores=1,3,5,7
/proc/23482/task/23494/stat : 23494 (java) S 23480 23480 11586 0 -1 1077944384 7124 0 0 0 56 1 0 0 20 0 15 0 50644851 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368771709808 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23495] ppid=23480 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/23482/task/23495/stat : 23495 (java) S 23480 23480 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50644852 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368770657248 140369299568341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
[pid=23482/tid=23496] ppid=23480 vsize=13980732 memory=2756 CPUtime=0.09 cores=1,3,5,7
/proc/23482/task/23496/stat : 23496 (java) S 23480 23480 11586 0 -1 1077944384 311 0 0 0 4 5 0 0 20 0 15 0 50644856 14316269568 43174 18446744073709551615 4194304 4196468 140734671771760 140368769604016 140369299569282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10915840 140734671778231 140734671778406 140734671778406 140734671781839 0
Current children cumulated CPU time: 245.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 174076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 23480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00185 s, system=0 s
[startup+240.021 s]
# the end of solver process 23482 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.314 s, system=0.348338 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 245.663
CPU user time (s): 245.314
CPU system time (s): 0.348338
CPU usage (%): 102.351
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 287288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.314
system time used= 0.348338
maximum resident set size= 288984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10659
involuntary context switches= 361
# summary of solver processes directly reported to runsolver:
# pid: 23480,23482
# total CPU time (s): 245.663
# total CPU user time (s): 245.314
# total CPU system time (s): 0.348338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61108 second user time and 2.09129 second system time
The end