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 (4087 MiB free)
memory of node 1: 16384 MiB (3289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403732-1568993481/watcher-4403732-1568993481 -o /var/tmp/evaluation-result-4403732-1568993481/solver-4403732-1568993481 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568993440-27733 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 306610792 HOME/instance-4403732-1568993481.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27769, runsolver pid=27763
Current StackSize limit: 8192 KiB
[startup+0.101832 s]*
/proc/loadavg: 4.02 4.77 6.44 5/230 27794
/proc/meminfo: memFree=7528748/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
[pid=27771] ppid=27769 vsize=15144776 memory=28992 CPUtime=0.13 cores=0,2,4,6
/proc/27771/stat : 27771 (java) S 27769 27769 27702 0 -1 1077944320 5693 0 0 0 12 1 0 0 20 0 15 0 475262904 15508250624 7248 33554432000 4194304 4196468 140733047620576 140733047603120 139942427684599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
/proc/27771/statm: 3786194 7248 3190 1 0 3748377 0
[pid=27771/tid=27772] ppid=27769 vsize=15144776 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/27771/task/27772/stat : 27772 (java) R 27769 27769 27702 0 -1 4202560 3544 0 0 0 8 1 0 0 20 0 15 0 475262904 15508250624 7248 33554432000 4194304 4196468 140733047620576 139942431914192 139942427696534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27774] ppid=27769 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27774/stat : 27774 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 7248 33554432000 4194304 4196468 140733047620576 139942384237328 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27775] ppid=27769 vsize=15144776 memory=140269828834944 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27775/stat : 27775 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 7248 33554432000 4194304 4196468 140733047620576 139942018866064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27776] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 7248 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 7248 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15144776 memory=140269828834944 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262906 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475262906 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941895037856 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475262907 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941893985264 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) S 27769 27769 27702 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941891881456 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) R 27769 27769 27702 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941890828912 139942420669641 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15144776 memory=140269828834944 CPUtime=0.02 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) R 27769 27769 27702 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 475262909 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15144776 memory=140269828834944 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 7248 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30444 KiB
[startup+0.21073 s]*
/proc/loadavg: 4.02 4.77 6.44 4/230 27794
/proc/meminfo: memFree=7501444/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
[pid=27771] ppid=27769 vsize=15144776 memory=41176 CPUtime=0.35 cores=0,2,4,6
/proc/27771/stat : 27771 (java) S 27769 27769 27702 0 -1 1077944320 9502 0 0 0 31 4 0 0 20 0 15 0 475262904 15508250624 10294 33554432000 4194304 4196468 140733047620576 140733047603120 139942427684599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
/proc/27771/statm: 3786194 10294 3313 1 0 3748377 0
[pid=27771/tid=27772] ppid=27769 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27771/task/27772/stat : 27772 (java) R 27769 27769 27702 0 -1 4202560 6564 0 0 0 17 3 0 0 20 0 15 0 475262904 15508250624 10294 33554432000 4194304 4196468 140733047620576 139942431918528 139942411765086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27774] ppid=27769 vsize=15144776 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27774/stat : 27774 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 10294 33554432000 4194304 4196468 140733047620576 139942384237328 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27775] ppid=27769 vsize=15144776 memory=3907211559092617248 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27775/stat : 27775 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 10294 33554432000 4194304 4196468 140733047620576 139942018866064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27776] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 10294 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15508250624 10294 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475262906 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475262906 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941895037856 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15144776 memory=140269828834944 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475262907 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941893985264 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) S 27769 27769 27702 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 475262909 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941891881456 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) S 27769 27769 27702 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 475262909 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941890828912 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) S 27769 27769 27702 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 475262909 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262909 15508250624 10294 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42628 KiB
[startup+0.31927 s]*
/proc/loadavg: 4.02 4.77 6.44 5/230 27794
/proc/meminfo: memFree=7488640/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
[pid=27771] ppid=27769 vsize=15149032 memory=50208 CPUtime=0.53 cores=0,2,4,6
/proc/27771/stat : 27771 (java) S 27769 27769 27702 0 -1 1077944320 10861 0 0 0 49 4 0 0 20 0 15 0 475262904 15512608768 12552 33554432000 4194304 4196468 140733047620576 140733047603120 139942427684599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
/proc/27771/statm: 3787258 12552 3345 1 0 3748377 0
[pid=27771/tid=27772] ppid=27769 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/27771/task/27772/stat : 27772 (java) R 27769 27769 27702 0 -1 4202560 7838 0 0 0 27 3 0 0 20 0 15 0 475262904 15512608768 12552 33554432000 4194304 4196468 140733047620576 139942431919440 139942411765116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27774] ppid=27769 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27774/stat : 27774 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262905 15512608768 12552 33554432000 4194304 4196468 140733047620576 139942384237328 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27775] ppid=27769 vsize=15149032 memory=4193477090785624096 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27775/stat : 27775 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15512608768 12552 33554432000 4194304 4196468 140733047620576 139942018866064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27776] ppid=27769 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15512608768 12552 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15512608768 12552 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15149032 memory=140269828834944 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475262906 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475262906 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941895037856 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475262907 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941893985264 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) S 27769 27769 27702 0 -1 1077944384 606 0 0 0 4 0 0 0 20 0 15 0 475262909 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941891881456 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) S 27769 27769 27702 0 -1 1077944384 244 0 0 0 3 0 0 0 20 0 15 0 475262909 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941890828912 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15149032 memory=140269828834944 CPUtime=0.13 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) S 27769 27769 27702 0 -1 1077944384 872 0 0 0 13 0 0 0 20 0 15 0 475262909 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15149032 memory=140269828834944 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262909 15512608768 12552 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51660 KiB
[startup+0.708411 s]
/proc/loadavg: 4.02 4.77 6.44 7/230 27794
/proc/meminfo: memFree=7448616/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
[pid=27771] ppid=27769 vsize=15151156 memory=97180 CPUtime=1.89 cores=0,2,4,6
/proc/27771/stat : 27771 (java) S 27769 27769 27702 0 -1 1077944320 15444 0 0 0 182 7 0 0 20 0 15 0 475262904 15514783744 24295 33554432000 4194304 4196468 140733047620576 140733047603120 139942427684599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
/proc/27771/statm: 3787789 24295 3453 1 0 3748889 0
[pid=27771/tid=27772] ppid=27769 vsize=15151156 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/27771/task/27772/stat : 27772 (java) R 27769 27769 27702 0 -1 4202560 9138 0 0 0 64 4 0 0 20 0 15 0 475262904 15514783744 24295 33554432000 4194304 4196468 140733047620576 139942431919680 139942427696534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27774] ppid=27769 vsize=15151156 memory=520 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27774/stat : 27774 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262905 15514783744 24295 33554432000 4194304 4196468 140733047620576 139942384237328 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27775] ppid=27769 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27775/stat : 27775 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15514783744 24295 33554432000 4194304 4196468 140733047620576 139942018866064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27776] ppid=27769 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15514783744 24295 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15151156 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475262905 15514783744 24295 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475262906 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475262906 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941895037856 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15151156 memory=800 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475262907 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941893985264 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15151156 memory=7453282923444726100 CPUtime=0.4 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) R 27769 27769 27702 0 -1 4202560 1880 0 0 0 40 0 0 0 20 0 15 0 475262909 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941891872432 139942412606366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15151156 memory=4639059877604708710 CPUtime=0.34 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) R 27769 27769 27702 0 -1 4202560 943 0 0 0 34 0 0 0 20 0 15 0 475262909 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941890814384 139942408860518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15151156 memory=8514726395715219869 CPUtime=0.43 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) R 27769 27769 27702 0 -1 1077944384 2172 0 0 0 42 1 0 0 20 0 15 0 475262909 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475262909 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475262909 15514783744 24295 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98632 KiB
[startup+1.50082 s]
/proc/loadavg: 4.02 4.77 6.44 5/230 27794
/proc/meminfo: memFree=7148976/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=27771/tid=27776] ppid=27769 vsize=15486024 memory=1777692 CPUtime=0.63 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 11740 0 0 0 41 22 0 0 20 0 19 0 475262905 15857688576 444166 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15486024 memory=1776664 CPUtime=0.62 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 11124 0 0 0 42 20 0 0 20 0 19 0 475262905 15857688576 444166 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 5508 0 0 0 5 6 0 0 20 0 19 0 475262906 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15486024 memory=1777692 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475262906 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941895037920 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15486024 memory=1777692 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475262907 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941893985280 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15486024 memory=1781800 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475262909 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15486024 memory=392 CPUtime=3.47 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) S 27769 27769 27702 0 -1 1077944384 19912 0 0 0 345 2 0 0 20 0 19 0 475262909 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941891881456 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15486024 memory=99 CPUtime=3.92 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) S 27769 27769 27702 0 -1 1077944384 29569 0 0 0 390 2 0 0 20 0 19 0 475262909 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941890828912 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.99 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) S 27769 27769 27702 0 -1 1077944384 16186 0 0 0 97 2 0 0 20 0 19 0 475262909 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475262909 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15486024 memory=6791534058613427641 CPUtime=0.21 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 1955 0 0 0 0 21 0 0 20 0 19 0 475262909 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27823] ppid=27769 vsize=15486024 memory=1052 CPUtime=446.64 cores=0,2,4,6
/proc/27771/task/27823/stat : 27823 (java) R 27769 27769 27702 0 -1 4202560 18787 0 0 0 44659 5 0 0 20 0 19 0 475270210 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941878688280 139942071124879 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27824] ppid=27769 vsize=15486024 memory=1424 CPUtime=446.49 cores=0,2,4,6
/proc/27771/task/27824/stat : 27824 (java) R 27769 27769 27702 0 -1 4202560 1228043 0 0 0 44558 91 0 0 20 0 19 0 475270210 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941876587296 139942071172556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27825] ppid=27769 vsize=15486024 memory=3640 CPUtime=447.38 cores=0,2,4,6
/proc/27771/task/27825/stat : 27825 (java) R 27769 27769 27702 0 -1 4202560 18052 0 0 0 44735 3 0 0 20 0 19 0 475270210 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941872381280 139942073436541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27826] ppid=27769 vsize=15486024 memory=0 CPUtime=445.1 cores=0,2,4,6
/proc/27771/task/27826/stat : 27826 (java) R 27769 27769 27702 0 -1 4202560 56090 0 0 0 44499 11 0 0 20 0 19 0 475270210 15857688576 444166 33554432000 4194304 4196468 140733047620576 139941877636952 139942072807085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 2047.84 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 1778116 KiB
[startup+582.301 s]
/proc/loadavg: 8.71 7.81 7.19 10/238 28442
/proc/meminfo: memFree=10378888/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
[pid=27771] ppid=27769 vsize=15486024 memory=1767424 CPUtime=2286.52 cores=0,2,4,6
/proc/27771/stat : 27771 (java) S 27769 27769 27702 0 -1 1077944320 2001552 0 0 0 228272 380 0 0 20 0 19 0 475262904 15857688576 441856 33554432000 4194304 4196468 140733047620576 140733047603120 139942427684599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
/proc/27771/statm: 3871506 441856 3538 1 0 3832606 0
[pid=27771/tid=27772] ppid=27769 vsize=15486024 memory=1767424 CPUtime=1.58 cores=0,2,4,6
/proc/27771/task/27772/stat : 27772 (java) S 27769 27769 27702 0 -1 1077944384 9666 0 0 0 151 7 0 0 20 0 19 0 475262904 15857688576 441856 33554432000 4194304 4196468 140733047620576 139942431925376 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27774] ppid=27769 vsize=15486024 memory=1773068 CPUtime=0.71 cores=0,2,4,6
/proc/27771/task/27774/stat : 27774 (java) S 27769 27769 27702 0 -1 1077944384 10477 0 0 0 50 21 0 0 20 0 19 0 475262905 15857688576 441856 33554432000 4194304 4196468 140733047620576 139942384237328 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27775] ppid=27769 vsize=15486024 memory=1768964 CPUtime=0.73 cores=0,2,4,6
/proc/27771/task/27775/stat : 27775 (java) S 27769 27769 27702 0 -1 1077944384 11519 0 0 0 52 21 0 0 20 0 19 0 475262905 15857688576 441856 33554432000 4194304 4196468 140733047620576 139942018866064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27776] ppid=27769 vsize=15486024 memory=1767936 CPUtime=0.74 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 12015 0 0 0 52 22 0 0 20 0 19 0 475262905 15857688576 441856 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15486024 memory=1767936 CPUtime=0.74 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 11848 0 0 0 53 21 0 0 20 0 19 0 475262905 15857688576 441856 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 6073 0 0 0 8 6 0 0 20 0 19 0 475262906 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15486024 memory=50215 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475262906 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941895037920 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15486024 memory=1767424 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475262907 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941893985280 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475262909 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15486024 memory=3504 CPUtime=3.47 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) S 27769 27769 27702 0 -1 1077944384 19919 0 0 0 345 2 0 0 20 0 19 0 475262909 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941891881456 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15486024 memory=55328 CPUtime=3.92 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) S 27769 27769 27702 0 -1 1077944384 29577 0 0 0 390 2 0 0 20 0 19 0 475262909 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941890828912 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15486024 memory=1768960 CPUtime=0.99 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) S 27769 27769 27702 0 -1 1077944384 17078 0 0 0 97 2 0 0 20 0 19 0 475262909 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475262909 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.23 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 1998 0 0 0 0 23 0 0 20 0 19 0 475262909 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27823] ppid=27769 vsize=15486024 memory=1452 CPUtime=506.24 cores=0,2,4,6
/proc/27771/task/27823/stat : 27823 (java) R 27769 27769 27702 0 -1 4202560 19189 0 0 0 50619 5 0 0 20 0 19 0 475270210 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941878691216 139942064919199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27824] ppid=27769 vsize=15486024 memory=1768960 CPUtime=506.03 cores=0,2,4,6
/proc/27771/task/27824/stat : 27824 (java) R 27769 27769 27702 0 -1 4202560 1228342 0 0 0 50511 92 0 0 20 0 19 0 475270210 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941876584488 139942071172556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27825] ppid=27769 vsize=15486024 memory=1452 CPUtime=507.07 cores=0,2,4,6
/proc/27771/task/27825/stat : 27825 (java) R 27769 27769 27702 0 -1 4202560 18516 0 0 0 50703 4 0 0 20 0 19 0 475270210 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941872381528 139942072057760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27826] ppid=27769 vsize=15486024 memory=1767424 CPUtime=504.44 cores=0,2,4,6
/proc/27771/task/27826/stat : 27826 (java) R 27769 27769 27702 0 -1 4202560 56431 0 0 0 50433 11 0 0 20 0 19 0 475270210 15857688576 441856 33554432000 4194304 4196468 140733047620576 139941877637184 139942064920073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 2286.52 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 1768876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+641.111 s]
/proc/loadavg: 8.80 7.98 7.29 9/238 28448
/proc/meminfo: memFree=10348456/32770624 swapFree=66953204/67108860
[pid=27769] ppid=27763 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27769/stat : 27769 (xcsp3-exec) S 27763 27769 27702 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475262903 115843072 363 33554432000 4194304 5098028 140733349042992 140733349041096 140380922450556 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10838016 140733349045079 140733349045337 140733349045337 140733349048262 0
/proc/27769/statm: 28282 363 305 221 0 87 0
[pid=27771] ppid=27769 vsize=15486024 memory=1771544 CPUtime=2520.16 cores=0,2,4,6
/proc/27771/stat : 27771 (java) S 27769 27769 27702 0 -1 1077944320 2005527 0 0 0 251633 383 0 0 20 0 19 0 475262904 15857688576 442886 33554432000 4194304 4196468 140733047620576 140733047603120 139942427684599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
/proc/27771/statm: 3871506 442886 3538 1 0 3832606 0
[pid=27771/tid=27772] ppid=27769 vsize=15486024 memory=1771544 CPUtime=1.58 cores=0,2,4,6
/proc/27771/task/27772/stat : 27772 (java) S 27769 27769 27702 0 -1 1077944384 9666 0 0 0 151 7 0 0 20 0 19 0 475262904 15857688576 442886 33554432000 4194304 4196468 140733047620576 139942431925376 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27774] ppid=27769 vsize=15486024 memory=1771544 CPUtime=0.94 cores=0,2,4,6
/proc/27771/task/27774/stat : 27774 (java) S 27769 27769 27702 0 -1 1077944384 10729 0 0 0 72 22 0 0 20 0 19 0 475262905 15857688576 442886 33554432000 4194304 4196468 140733047620576 139942384237328 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27775] ppid=27769 vsize=15486024 memory=1771544 CPUtime=0.96 cores=0,2,4,6
/proc/27771/task/27775/stat : 27775 (java) S 27769 27769 27702 0 -1 1077944384 11882 0 0 0 74 22 0 0 20 0 19 0 475262905 15857688576 442886 33554432000 4194304 4196468 140733047620576 139942018866064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27776] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.98 cores=0,2,4,6
/proc/27771/task/27776/stat : 27776 (java) S 27769 27769 27702 0 -1 1077944384 12554 0 0 0 75 23 0 0 20 0 19 0 475262905 15857688576 442886 33554432000 4194304 4196468 140733047620576 139942017813520 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27777] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.97 cores=0,2,4,6
/proc/27771/task/27777/stat : 27777 (java) S 27769 27769 27702 0 -1 1077944384 12467 0 0 0 75 22 0 0 20 0 19 0 475262905 15857688576 442886 33554432000 4194304 4196468 140733047620576 139942016760976 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27780] ppid=27769 vsize=15486024 memory=1771544 CPUtime=0.2 cores=0,2,4,6
/proc/27771/task/27780/stat : 27780 (java) S 27769 27769 27702 0 -1 1077944384 6697 0 0 0 12 8 0 0 20 0 19 0 475262906 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941896091632 139942427695746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27781] ppid=27769 vsize=15486024 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27781/stat : 27781 (java) S 27769 27769 27702 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475262906 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941895037920 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27782] ppid=27769 vsize=15486024 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27782/stat : 27782 (java) S 27769 27769 27702 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475262907 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941893985280 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27789] ppid=27769 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27789/stat : 27789 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475262909 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941892933840 139942427703195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27790] ppid=27769 vsize=15486024 memory=1771544 CPUtime=3.47 cores=0,2,4,6
/proc/27771/task/27790/stat : 27790 (java) S 27769 27769 27702 0 -1 1077944384 19925 0 0 0 345 2 0 0 20 0 19 0 475262909 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941891881456 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27791] ppid=27769 vsize=15486024 memory=1452 CPUtime=3.92 cores=0,2,4,6
/proc/27771/task/27791/stat : 27791 (java) S 27769 27769 27702 0 -1 1077944384 29581 0 0 0 390 2 0 0 20 0 19 0 475262909 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941890828912 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27792] ppid=27769 vsize=15486024 memory=1771544 CPUtime=0.99 cores=0,2,4,6
/proc/27771/task/27792/stat : 27792 (java) S 27769 27769 27702 0 -1 1077944384 17082 0 0 0 97 2 0 0 20 0 19 0 475262909 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941889776368 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27793] ppid=27769 vsize=15486024 memory=1771544 CPUtime=0 cores=0,2,4,6
/proc/27771/task/27793/stat : 27793 (java) S 27769 27769 27702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475262909 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941888724064 139942427694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27794] ppid=27769 vsize=15486024 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/27771/task/27794/stat : 27794 (java) S 27769 27769 27702 0 -1 1077944384 2036 0 0 0 0 25 0 0 20 0 19 0 475262909 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941887670576 139942427695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27823] ppid=27769 vsize=15486024 memory=14008 CPUtime=564.35 cores=0,2,4,6
/proc/27771/task/27823/stat : 27823 (java) R 27769 27769 27702 0 -1 4202560 19578 0 0 0 56430 5 0 0 20 0 19 0 475270210 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941878688352 139942071795424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27824] ppid=27769 vsize=15486024 memory=30440 CPUtime=564.19 cores=0,2,4,6
/proc/27771/task/27824/stat : 27824 (java) R 27769 27769 27702 0 -1 4202560 1228629 0 0 0 56327 92 0 0 20 0 19 0 475270210 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941876587408 139942068231380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27825] ppid=27769 vsize=15486024 memory=3504 CPUtime=565.26 cores=0,2,4,6
/proc/27771/task/27825/stat : 27825 (java) R 27769 27769 27702 0 -1 4202560 18962 0 0 0 56522 4 0 0 20 0 19 0 475270210 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941872381528 139942071172556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
[pid=27771/tid=27826] ppid=27769 vsize=15486024 memory=55328 CPUtime=562.61 cores=0,2,4,6
/proc/27771/task/27826/stat : 27826 (java) R 27769 27769 27702 0 -1 4202560 56835 0 0 0 56250 11 0 0 20 0 19 0 475270210 15857688576 442886 33554432000 4194304 4196468 140733047620576 139941877636752 139942064919515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140733047624667 140733047624842 140733047624842 140733047627727 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 1772996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+641.136 s]
# the end of solver process 27769 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001194 s, system=0.001194 s
[startup+641.27 s]
# the end of solver process 27771 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.71 s, system=3.9026 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
[startup+641.221 s]*
/proc/loadavg: 8.80 7.98 7.29 6/220 28450
/proc/meminfo: memFree=11322456/32770624 swapFree=66953204/67108860
Current cumulated CPU time of completed processes: 0.002388 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 641.27
CPU time (s): 2520.61
CPU user time (s): 2516.71
CPU system time (s): 3.9026
CPU usage (%): 393.065
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 2222340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.71
system time used= 3.9026
maximum resident set size= 2227432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2007181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22036
involuntary context switches= 44148
# summary of solver processes directly reported to runsolver:
# pid: 27769,27771
# total CPU time (s): 2520.61
# total CPU user time (s): 2516.71
# total CPU system time (s): 3.9026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10266 second user time and 7.28651 second system time
The end