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 (14847 MiB free)
memory of node 1: 16384 MiB (15428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270028-1502621303/watcher-4270028-1502621303 -o /tmp/evaluation-result-4270028-1502621303/solver-4270028-1502621303 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1985256918 HOME/instance-4270028-1502621303.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
Current StackSize limit: 8192 KiB
solver pid=24766, runsolver pid=24763
[startup+0.100058 s]*
/proc/loadavg: 1.68 1.75 1.77 3/197 24768
/proc/meminfo: memFree=31002820/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=11657624 memory=9548 CPUtime=0 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 2132 0 0 0 0 0 0 0 20 0 2 0 64351015 11937406976 2387 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 2914406 2387 1150 1 0 2904376 0
[pid=24768/tid=24769] ppid=24766 vsize=11658652 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 949 0 0 0 0 0 0 0 20 0 3 0 64351016 11938459648 2387 18446744073709551615 4194304 4196468 140737121345904 140506859771600 140506855540437 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=11659680 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 64351016 11939512320 2387 18446744073709551615 4194304 4196468 140737121345904 140506774945248 140506855540437 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=11659680 memory=288370520286660224 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) R 24766 24766 897 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 64351016 11939512320 2387 18446744073709551615 4194304 4196468 140737121345904 140506859771600 140506848270081 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10928 KiB
[startup+0.209596 s]*
/proc/loadavg: 1.68 1.75 1.77 2/210 24781
/proc/meminfo: memFree=30992820/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13907304 memory=20404 CPUtime=0.05 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 4550 0 0 0 5 0 0 0 20 0 14 0 64351015 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3476826 5101 2551 1 0 3466323 0
[pid=24768/tid=24769] ppid=24766 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) D 24766 24766 897 0 -1 4202560 2724 0 0 0 4 0 0 0 20 0 14 0 64351016 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506859767712 140506855552253 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13907304 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64351016 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13907304 memory=288370520286660224 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64351016 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64351016 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64351016 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13907304 memory=140144134948480 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64351018 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64351018 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64351018 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64351021 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 897 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 64351021 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64351021 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506328804080 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13907304 memory=140144134948480 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 897 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 64351021 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64351021 14241079296 5101 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21784 KiB
[startup+0.312197 s]*
/proc/loadavg: 1.68 1.75 1.77 3/211 24782
/proc/meminfo: memFree=30985588/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13974352 memory=28412 CPUtime=0.12 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 5111 0 0 0 12 0 0 0 20 0 15 0 64351015 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3493588 7103 2809 1 0 3482964 0
[pid=24768/tid=24769] ppid=24766 vsize=13974352 memory=-8774313645642428999 CPUtime=0.09 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 3121 0 0 0 9 0 0 0 20 0 15 0 64351016 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506859763504 140506855542166 0 4 1 16800974 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351018 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64351018 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) R 24766 24766 897 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 64351021 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 897 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 64351021 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506328804080 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13974352 memory=140144134948480 CPUtime=0.01 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) R 24766 24766 897 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 64351021 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506834465662 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24782] ppid=24766 vsize=13974352 memory=140144134948480 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351033 14309736448 7103 18446744073709551615 4194304 4196468 140737121345904 140506325646000 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29792 KiB
[startup+0.708639 s]
/proc/loadavg: 1.68 1.75 1.77 4/211 24782
/proc/meminfo: memFree=30968228/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13980732 memory=63340 CPUtime=0.99 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 11060 0 0 0 95 4 0 0 20 0 15 0 64351015 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3495183 15835 3153 1 0 3483476 0
[pid=24768/tid=24769] ppid=24766 vsize=13980732 memory=1228 CPUtime=0.47 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 7482 0 0 0 45 2 0 0 20 0 15 0 64351016 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506859768352 140506839610718 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13980732 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13980732 memory=-2276395272229541278 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13980732 memory=3977859484720653415 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13980732 memory=280287955138144 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13980732 memory=280287955138336 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13980732 memory=280287955138528 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13980732 memory=280287955138720 CPUtime=0.12 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) R 24766 24766 897 0 -1 4202560 649 0 0 0 12 0 0 0 20 0 15 0 64351021 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506840643393 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13980732 memory=280287955138912 CPUtime=0.12 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) R 24766 24766 897 0 -1 4202560 513 0 0 0 12 0 0 0 20 0 15 0 64351021 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506328785648 140506840459683 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13980732 memory=280287955208000 CPUtime=0.24 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 897 0 -1 1077944384 1109 0 0 0 24 0 0 0 20 0 15 0 64351021 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24782] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351033 14316269568 15835 18446744073709551615 4194304 4196468 140737121345904 140506325646000 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64720 KiB
[startup+1.50086 s]
/proc/loadavg: 1.68 1.75 1.77 5/211 24782
/proc/meminfo: memFree=30937820/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13980732 memory=110564 CPUtime=3.17 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 27504 0 0 0 310 7 0 0 20 0 15 0 64351015 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3495183 27641 3193 1 0 3483476 0
[pid=24768/tid=24769] ppid=24766 vsize=13980732 memory=63340 CPUtime=1.27 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 8404 0 0 0 124 3 0 0 20 0 15 0 64351016 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506859766784 140506450451496 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13980732 memory=280287955133216 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13980732 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13980732 memory=-2276395272229541278 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13980732 memory=3474018176998060596 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13980732 memory=3761667058215578532 CPUtime=0.78 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 897 0 -1 1077944384 8268 0 0 0 77 1 0 0 20 0 15 0 64351021 14316269568 27641 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13980732 memory=-6152329851729498972 CPUtime=0.71 cores=1,3,5,7
################
# More data... #
################
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13980732 memory=113732 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 897 0 -1 1077944384 13858 0 0 0 131 2 0 0 20 0 15 0 64351021 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13980732 memory=1 CPUtime=1.65 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 897 0 -1 1077944384 19265 0 0 0 162 3 0 0 20 0 15 0 64351021 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506328804080 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13980732 memory=1292 CPUtime=0.48 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 897 0 -1 1077944384 4802 0 0 0 47 1 0 0 20 0 15 0 64351021 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24782] ppid=24766 vsize=13980732 memory=113740 CPUtime=0.01 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 897 0 -1 1077944384 1431 0 0 0 0 1 0 0 20 0 15 0 64351033 14316269568 28435 18446744073709551615 4194304 4196468 140737121345904 140506325646000 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 105.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 115120 KiB
[startup+162.301 s]
/proc/loadavg: 2.02 1.88 1.81 3/211 24867
/proc/meminfo: memFree=30779112/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13980732 memory=138864 CPUtime=165.74 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 55522 0 0 0 16562 12 0 0 20 0 15 0 64351015 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3495183 34716 3206 1 0 3483476 0
[pid=24768/tid=24769] ppid=24766 vsize=13980732 memory=138864 CPUtime=162.08 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 12348 0 0 0 16204 4 0 0 20 0 15 0 64351016 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506859766144 140506450450876 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13980732 memory=138864 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13980732 memory=138864 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13980732 memory=138864 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 529 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13980732 memory=138864 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13980732 memory=1728 CPUtime=1.36 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 897 0 -1 1077944384 14692 0 0 0 134 2 0 0 20 0 15 0 64351021 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13980732 memory=1228 CPUtime=1.75 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 897 0 -1 1077944384 19919 0 0 0 172 3 0 0 20 0 15 0 64351021 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506328804080 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13980732 memory=138864 CPUtime=0.48 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 897 0 -1 1077944384 5285 0 0 0 47 1 0 0 20 0 15 0 64351021 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24782] ppid=24766 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 897 0 -1 1077944384 1448 0 0 0 0 3 0 0 20 0 15 0 64351033 14316269568 34716 18446744073709551615 4194304 4196468 140737121345904 140506325646000 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 165.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 140244 KiB
[startup+222.301 s]
/proc/loadavg: 2.06 1.92 1.83 3/211 24869
/proc/meminfo: memFree=30768388/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13980732 memory=149104 CPUtime=225.79 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 55847 0 0 0 22566 13 0 0 20 0 15 0 64351015 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3495183 37276 3206 1 0 3483476 0
[pid=24768/tid=24769] ppid=24766 vsize=13980732 memory=149104 CPUtime=222.08 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 12474 0 0 0 22204 4 0 0 20 0 15 0 64351016 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506859766192 140506450450876 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13980732 memory=149104 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13980732 memory=149104 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13980732 memory=149104 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13980732 memory=840 CPUtime=1.37 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 897 0 -1 1077944384 14813 0 0 0 135 2 0 0 20 0 15 0 64351021 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13980732 memory=16436 CPUtime=1.77 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 897 0 -1 1077944384 19946 0 0 0 174 3 0 0 20 0 15 0 64351021 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506328804080 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13980732 memory=149104 CPUtime=0.48 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 897 0 -1 1077944384 5296 0 0 0 47 1 0 0 20 0 15 0 64351021 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24782] ppid=24766 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 897 0 -1 1077944384 1469 0 0 0 1 3 0 0 20 0 15 0 64351033 14316269568 37276 18446744073709551615 4194304 4196468 140737121345904 140506325646000 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 225.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 150484 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.04 1.92 1.83 3/211 24870
/proc/meminfo: memFree=30768388/32770624 swapFree=67108860/67108860
[pid=24766] ppid=24763 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24766/stat : 24766 (xcsp3-exec) S 24763 24766 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64351005 9740288 345 18446744073709551615 4194304 5098028 140737003118656 140737003116760 140391442264700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 13881344 140737003123070 140737003123274 140737003123274 140737003126763 0
/proc/24766/statm: 2378 345 289 221 0 87 0
[pid=24768] ppid=24766 vsize=13980732 memory=149124 CPUtime=243.52 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24766 897 0 -1 1077944320 56070 0 0 0 24338 14 0 0 20 0 15 0 64351015 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140737121328448 140506855530231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
/proc/24768/statm: 3495183 37281 3206 1 0 3483476 0
[pid=24768/tid=24769] ppid=24766 vsize=13980732 memory=-8774313645642428999 CPUtime=239.79 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24766 897 0 -1 4202560 12612 0 0 0 23975 4 0 0 20 0 15 0 64351016 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506859766816 140506454646561 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24770] ppid=24766 vsize=13980732 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24770/stat : 24770 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506774944912 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24771] ppid=24766 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24766 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506773892112 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24772] ppid=24766 vsize=13980732 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506772839312 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24773] ppid=24766 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24766 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64351016 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506771786512 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24774] ppid=24766 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24766 897 0 -1 1077944384 560 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506334067056 140506855541378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24775] ppid=24766 vsize=13980732 memory=840 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24766 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506333013024 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24776] ppid=24766 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24766 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64351018 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506331960176 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24777] ppid=24766 vsize=13980732 memory=2912 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506330908496 140506855548827 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24778] ppid=24766 vsize=13980732 memory=2752 CPUtime=1.37 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24766 897 0 -1 1077944384 14842 0 0 0 135 2 0 0 20 0 15 0 64351021 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506329856880 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24779] ppid=24766 vsize=13980732 memory=1728 CPUtime=1.78 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24766 897 0 -1 1077944384 19986 0 0 0 175 3 0 0 20 0 15 0 64351021 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506328804080 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24780] ppid=24766 vsize=13980732 memory=1228 CPUtime=0.48 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24766 897 0 -1 1077944384 5298 0 0 0 47 1 0 0 20 0 15 0 64351021 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506327751280 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24781] ppid=24766 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24766 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64351021 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506326698720 140506855540437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
[pid=24768/tid=24782] ppid=24766 vsize=13980732 memory=5788 CPUtime=0.04 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24766 897 0 -1 1077944384 1471 0 0 0 1 3 0 0 20 0 15 0 64351033 14316269568 37281 18446744073709551615 4194304 4196468 140737121345904 140506325646000 140506855541378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35893248 140737121354167 140737121354342 140737121354342 140737121357775 0
Current children cumulated CPU time: 243.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 150504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 24766 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000924 s, system=0.000924 s
[startup+240.019 s]
# the end of solver process 24768 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.401 s, system=0.144004 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.02
CPU time (s): 243.545
CPU user time (s): 243.401
CPU system time (s): 0.144004
CPU usage (%): 101.469
Max. virtual memory (cumulated for all children) (KiB): 13992072
Max. memory (cumulated for all children) (KiB): 150504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.401
system time used= 0.144004
maximum resident set size= 155784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7676
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 24766,24768
# total CPU time (s): 243.545
# total CPU user time (s): 243.401
# total CPU system time (s): 0.144004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2563 second user time and 2.23006 second system time
The end