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 (1041 MiB free)
memory of node 1: 16384 MiB (3682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403748-1568989246/watcher-4403748-1568989246 -o /tmp/evaluation-result-4403748-1568989246/solver-4403748-1568989246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 998453811 HOME/instance-4403748-1568989246.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=9136, runsolver pid=9133
[startup+0.10317 s]*
/proc/loadavg: 7.06 7.14 5.89 6/234 9152
/proc/meminfo: memFree=4820428/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15144776 memory=30208 CPUtime=0.14 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 5496 0 0 0 12 2 0 0 20 0 15 0 475181440 15508250624 7552 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3786194 7552 3149 1 0 3748377 0
[pid=9138/tid=9139] ppid=9136 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) R 9136 9136 7690 0 -1 4202560 3378 0 0 0 8 1 0 0 20 0 15 0 475181441 15508250624 7552 33554432000 4194304 4196468 140720828428352 139812021216400 139812009229118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15144776 memory=139837867259520 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15144776 memory=139837867259520 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181443 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811485653104 139812017003138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475181443 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475181443 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) R 9136 9136 7690 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 475181446 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811481442928 139812002654720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) R 9136 9136 7690 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811480390128 139812017003138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15144776 memory=139837867259520 CPUtime=0.02 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) R 9136 9136 7690 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 475181446 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811479337840 139812009229118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15144776 memory=139837867259520 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 7552 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.210926 s]*
/proc/loadavg: 7.06 7.14 5.89 8/234 9152
/proc/meminfo: memFree=4807684/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15144776 memory=41332 CPUtime=0.34 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 9009 0 0 0 31 3 0 0 20 0 15 0 475181440 15508250624 10333 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3786194 10333 3285 1 0 3748377 0
[pid=9138/tid=9139] ppid=9136 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) R 9136 9136 7690 0 -1 4202560 6185 0 0 0 17 2 0 0 20 0 15 0 475181441 15508250624 10333 33554432000 4194304 4196468 140720828428352 139812021229024 139812017013917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15144776 memory=1898699 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15144776 memory=3384350 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181441 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) R 9136 9136 7690 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 475181443 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811485653104 139812009709143 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475181443 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15144776 memory=139837867259520 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475181443 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) S 9136 9136 7690 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 475181446 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811481442928 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) S 9136 9136 7690 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 475181446 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811480390128 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) S 9136 9136 7690 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 475181446 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811479337840 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181446 15508250624 10333 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42780 KiB
[startup+0.315531 s]*
/proc/loadavg: 7.06 7.14 5.89 7/234 9152
/proc/meminfo: memFree=4800664/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15149032 memory=50596 CPUtime=0.53 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 10445 0 0 0 49 4 0 0 20 0 15 0 475181440 15512608768 12649 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3787258 12649 3365 1 0 3748377 0
[pid=9138/tid=9139] ppid=9136 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) R 9136 9136 7690 0 -1 4202560 7389 0 0 0 27 3 0 0 20 0 15 0 475181441 15512608768 12714 33554432000 4194304 4196468 140720828428352 139812021228224 139812001072478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181441 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15149032 memory=3371818 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181441 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181441 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475181441 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15149032 memory=139837867259520 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) S 9136 9136 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475181443 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811485653104 139812017003138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475181443 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475181443 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475181446 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) S 9136 9136 7690 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 15 0 475181446 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811481442928 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) R 9136 9136 7690 0 -1 1077944384 463 0 0 0 4 0 0 0 20 0 15 0 475181446 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811480390128 139812017003138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15149032 memory=139837867259520 CPUtime=0.12 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) R 9136 9136 7690 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 475181446 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811479337840 139812017003138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475181446 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15149032 memory=139837867259520 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475181446 15512608768 12714 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52044 KiB
[startup+0.701449 s]
/proc/loadavg: 7.06 7.14 5.89 10/234 9152
/proc/meminfo: memFree=4787884/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15417412 memory=102216 CPUtime=1.73 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 14916 0 0 0 167 6 0 0 20 0 19 0 475181440 15787429888 25554 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3854353 25554 3461 1 0 3815453 0
[pid=9138/tid=9139] ppid=9136 vsize=15417412 memory=2120 CPUtime=0.63 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) S 9136 9136 7690 0 -1 1077944384 8422 0 0 0 59 4 0 0 20 0 19 0 475181441 15787429888 25554 33554432000 4194304 4196468 140720828428352 139812021232768 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15417412 memory=532 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475181441 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15417412 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475181441 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15417412 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475181441 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15417412 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475181441 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15417412 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) S 9136 9136 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475181443 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811485653104 139812017003138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15417412 memory=912 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475181443 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15417412 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475181443 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15417412 memory=2480 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15417412 memory=7302135314614015849 CPUtime=0.29 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) R 9136 9136 7690 0 -1 4202560 1426 0 0 0 29 0 0 0 20 0 19 0 475181446 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811481428952 139811998536108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15417412 memory=5865483765163649622 CPUtime=0.28 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) R 9136 9136 7690 0 -1 4202560 1530 0 0 0 28 0 0 0 20 0 19 0 475181446 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811480383152 139812003008507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15417412 memory=7295944995277656144 CPUtime=0.4 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) R 9136 9136 7690 0 -1 1077944384 2038 0 0 0 40 0 0 0 20 0 19 0 475181446 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811479337840 139812017003138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15417412 memory=7523096512984082771 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475181446 15787429888 25554 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 103664 KiB
[startup+1.50145 s]
/proc/loadavg: 7.37 7.21 5.92 13/238 9228
/proc/meminfo: memFree=4662072/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/9138/task/9270/stat : 9270 (java) R 9136 9136 7690 0 -1 4202560 1191 0 0 0 9834 0 0 0 20 0 19 0 475181729 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811468013616 139811605287704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 405.81 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 167884 KiB
[startup+103.475 s]
# the end of solver process 9136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=410.277 s, system=0.188737 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 8.36 7.58 6.18 10/238 9277
/proc/meminfo: memFree=4682868/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15486024 memory=166436 CPUtime=406.21 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 59166 0 0 0 40603 18 0 0 20 0 19 0 475181440 15857688576 41609 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3871506 41609 3531 1 0 3832606 0
[pid=9138/tid=9139] ppid=9136 vsize=15486024 memory=8099273505504519249 CPUtime=0.64 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) S 9136 9136 7690 0 -1 1077944384 8427 0 0 0 60 4 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139812021232768 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15486024 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1664 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15486024 memory=184900 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 749 0 0 0 3 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15486024 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 2467 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15486024 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 1380 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15486024 memory=7309451478137073773 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) S 9136 9136 7690 0 -1 1077944384 1705 0 0 0 3 1 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811485653104 139812017003138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15486024 memory=6326486828192 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15486024 memory=279673305206987 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15486024 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15486024 memory=2832 CPUtime=2.83 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) S 9136 9136 7690 0 -1 1077944384 12247 0 0 0 282 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811481442928 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15486024 memory=1084 CPUtime=2.79 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) S 9136 9136 7690 0 -1 1077944384 14102 0 0 0 277 2 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811480390128 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15486024 memory=14012 CPUtime=0.76 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) S 9136 9136 7690 0 -1 1077944384 6151 0 0 0 75 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811479337840 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15486024 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15486024 memory=29424 CPUtime=0.01 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 605 0 0 0 0 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9267] ppid=9136 vsize=15486024 memory=2120 CPUtime=98.43 cores=1,3,5,7
/proc/9138/task/9267/stat : 9267 (java) R 9136 9136 7690 0 -1 4202560 647 0 0 0 9843 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811466959416 139811610929470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9268] ppid=9136 vsize=15486024 memory=532 CPUtime=98.41 cores=1,3,5,7
/proc/9138/task/9268/stat : 9268 (java) R 9136 9136 7690 0 -1 4202560 2300 0 0 0 9841 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811464855624 139811609558621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9269] ppid=9136 vsize=15486024 memory=1564 CPUtime=98.52 cores=1,3,5,7
/proc/9138/task/9269/stat : 9269 (java) R 9136 9136 7690 0 -1 4202560 2007 0 0 0 9852 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811465910272 139811611677179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9270] ppid=9136 vsize=15486024 memory=6048 CPUtime=98.44 cores=1,3,5,7
/proc/9138/task/9270/stat : 9270 (java) R 9136 9136 7690 0 -1 4202560 1191 0 0 0 9844 0 0 0 20 0 19 0 475181729 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811468013616 139811609558621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 406.21 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 167884 KiB
[startup+103.201 s]
/proc/loadavg: 8.36 7.58 6.18 9/238 9277
/proc/meminfo: memFree=4682868/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15486024 memory=166436 CPUtime=409.39 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 59166 0 0 0 40921 18 0 0 20 0 19 0 475181440 15857688576 41609 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3871506 41609 3531 1 0 3832606 0
[pid=9138/tid=9139] ppid=9136 vsize=15486024 memory=14012 CPUtime=0.64 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) S 9136 9136 7690 0 -1 1077944384 8427 0 0 0 60 4 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139812021232768 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15486024 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1664 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15486024 memory=1680 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 749 0 0 0 3 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15486024 memory=1440 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 2467 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15486024 memory=912 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 1380 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15486024 memory=1984 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) S 9136 9136 7690 0 -1 1077944384 1705 0 0 0 3 1 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811485653104 139812017003138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15486024 memory=68 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15486024 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15486024 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15486024 memory=6944656575208382560 CPUtime=2.83 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) S 9136 9136 7690 0 -1 1077944384 12247 0 0 0 282 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811481442928 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15486024 memory=6944652177228980320 CPUtime=2.79 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) S 9136 9136 7690 0 -1 1077944384 14102 0 0 0 277 2 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811480390128 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15486024 memory=279675520864864 CPUtime=0.76 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) S 9136 9136 7690 0 -1 1077944384 6151 0 0 0 75 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811479337840 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15486024 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15486024 memory=-3472574513799858003 CPUtime=0.01 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 605 0 0 0 0 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9267] ppid=9136 vsize=15486024 memory=8594178258572256922 CPUtime=99.23 cores=1,3,5,7
/proc/9138/task/9267/stat : 9267 (java) R 9136 9136 7690 0 -1 4202560 647 0 0 0 9923 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811466959416 139811610929606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9268] ppid=9136 vsize=15486024 memory=-1664385933527490352 CPUtime=99.21 cores=1,3,5,7
/proc/9138/task/9268/stat : 9268 (java) R 9136 9136 7690 0 -1 4202560 2300 0 0 0 9921 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811464855624 139811611093874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9269] ppid=9136 vsize=15486024 memory=1448 CPUtime=99.32 cores=1,3,5,7
/proc/9138/task/9269/stat : 9269 (java) R 9136 9136 7690 0 -1 4202560 2007 0 0 0 9932 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811465910272 139811609558319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9270] ppid=9136 vsize=15486024 memory=166436 CPUtime=99.22 cores=1,3,5,7
/proc/9138/task/9270/stat : 9270 (java) R 9136 9136 7690 0 -1 4202560 1191 0 0 0 9922 0 0 0 20 0 19 0 475181729 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811468013616 139811610930170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 409.39 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 167884 KiB
[startup+103.401 s]
/proc/loadavg: 8.36 7.58 6.18 9/238 9277
/proc/meminfo: memFree=4682868/32770624 swapFree=66986244/67108860
[pid=9136] ppid=9133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (xcsp3-exec) S 9133 9136 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475181440 115843072 362 33554432000 4194304 5098028 140736908030544 140736908028648 139846180598396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11759616 140736908039035 140736908039277 140736908039277 140736908042186 0
/proc/9136/statm: 28282 362 304 221 0 87 0
[pid=9138] ppid=9136 vsize=15486024 memory=166436 CPUtime=410.19 cores=1,3,5,7
/proc/9138/stat : 9138 (java) S 9136 9136 7690 0 -1 1077944320 59166 0 0 0 41001 18 0 0 20 0 19 0 475181440 15857688576 41609 33554432000 4194304 4196468 140720828428352 140720828410896 139812016991991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
/proc/9138/statm: 3871506 41609 3531 1 0 3832606 0
[pid=9138/tid=9139] ppid=9136 vsize=15486024 memory=532 CPUtime=0.64 cores=1,3,5,7
/proc/9138/task/9139/stat : 9139 (java) S 9136 9136 7690 0 -1 1077944384 8427 0 0 0 60 4 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139812021232768 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9140] ppid=9136 vsize=15486024 memory=1564 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9140/stat : 9140 (java) S 9136 9136 7690 0 -1 1077944384 1664 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811928648592 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9141] ppid=9136 vsize=15486024 memory=924 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9141/stat : 9141 (java) S 9136 9136 7690 0 -1 1077944384 749 0 0 0 3 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811927595792 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9142] ppid=9136 vsize=15486024 memory=1680 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9142/stat : 9142 (java) S 9136 9136 7690 0 -1 1077944384 2467 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811926543504 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9143] ppid=9136 vsize=15486024 memory=1440 CPUtime=0.05 cores=1,3,5,7
/proc/9138/task/9143/stat : 9143 (java) S 9136 9136 7690 0 -1 1077944384 1380 0 0 0 4 1 0 0 20 0 19 0 475181441 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811925490704 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9144] ppid=9136 vsize=15486024 memory=912 CPUtime=0.04 cores=1,3,5,7
/proc/9138/task/9144/stat : 9144 (java) S 9136 9136 7690 0 -1 1077944384 1705 0 0 0 3 1 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811485653104 139812017003138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9145] ppid=9136 vsize=15486024 memory=279675520316944 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9145/stat : 9145 (java) S 9136 9136 7690 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811484599072 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9146] ppid=9136 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9146/stat : 9146 (java) S 9136 9136 7690 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475181443 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811483546736 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9147] ppid=9136 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9147/stat : 9147 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811482495056 139812017010587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9148] ppid=9136 vsize=15486024 memory=0 CPUtime=2.83 cores=1,3,5,7
/proc/9138/task/9148/stat : 9148 (java) S 9136 9136 7690 0 -1 1077944384 12247 0 0 0 282 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811481442928 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9149] ppid=9136 vsize=15486024 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/9138/task/9149/stat : 9149 (java) S 9136 9136 7690 0 -1 1077944384 14102 0 0 0 277 2 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811480390128 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9150] ppid=9136 vsize=15486024 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/9138/task/9150/stat : 9150 (java) S 9136 9136 7690 0 -1 1077944384 6151 0 0 0 75 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811479337840 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9151] ppid=9136 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9138/task/9151/stat : 9151 (java) S 9136 9136 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811478285280 139812017002197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9152] ppid=9136 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9138/task/9152/stat : 9152 (java) S 9136 9136 7690 0 -1 1077944384 605 0 0 0 0 1 0 0 20 0 19 0 475181446 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811477232048 139812017003138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9267] ppid=9136 vsize=15486024 memory=0 CPUtime=99.43 cores=1,3,5,7
/proc/9138/task/9267/stat : 9267 (java) R 9136 9136 7690 0 -1 4202560 647 0 0 0 9943 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811466959416 139811609558411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9268] ppid=9136 vsize=15486024 memory=0 CPUtime=99.41 cores=1,3,5,7
/proc/9138/task/9268/stat : 9268 (java) R 9136 9136 7690 0 -1 4202560 2300 0 0 0 9941 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811464855624 139811611093054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9269] ppid=9136 vsize=15486024 memory=0 CPUtime=99.52 cores=1,3,5,7
/proc/9138/task/9269/stat : 9269 (java) R 9136 9136 7690 0 -1 4202560 2007 0 0 0 9952 0 0 0 20 0 19 0 475181728 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811465910272 139811612076335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
[pid=9138/tid=9270] ppid=9136 vsize=15486024 memory=7589800593493878359 CPUtime=99.42 cores=1,3,5,7
/proc/9138/task/9270/stat : 9270 (java) R 9136 9136 7690 0 -1 4202560 1191 0 0 0 9942 0 0 0 20 0 19 0 475181729 15857688576 41609 33554432000 4194304 4196468 140720828428352 139811468013616 139811608749938 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26415104 140720828437487 140720828437658 140720828437658 140720828440527 0
Current children cumulated CPU time: 410.19 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 167884 KiB
Child status: 0
Real time (s): 103.475
CPU time (s): 410.466
CPU user time (s): 410.277
CPU system time (s): 0.188737
CPU usage (%): 396.682
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 229936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 410.277
system time used= 0.188737
maximum resident set size= 230832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6296
involuntary context switches= 8123
# summary of solver processes directly reported to runsolver:
# pid: 9136
# total CPU time (s): 410.466
# total CPU user time (s): 410.277
# total CPU system time (s): 0.188737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.731136 second user time and 1.09901 second system time
The end