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 (8588 MiB free)
memory of node 1: 16384 MiB (9899 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310284-1534332241/watcher-4310284-1534332241 -o /tmp/evaluation-result-4310284-1534332241/solver-4310284-1534332241 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20538 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1844416529 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310284-1534332241.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=23403, runsolver pid=23400
[startup+0.100138 s]*
/proc/loadavg: 1.07 1.42 1.64 3/216 23418
/proc/meminfo: memFree=18913460/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14082736 memory=32928 CPUtime=0.11 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 7126 0 0 0 10 1 0 0 20 0 15 0 250787313 14420721664 8232 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3520684 8232 3159 1 0 3482761 0
[pid=23403/tid=23405] ppid=23400 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) R 23400 23403 20506 0 -1 4202560 5175 0 0 0 8 1 0 0 20 0 15 0 250787313 14420721664 8232 33554432000 4194304 4196468 140727166572112 140040609366256 140040605193373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14082736 memory=5793855857756674489 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 8232 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 8232 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 8232 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 8232 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787315 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) S 23400 23403 20506 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 250787318 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039513364976 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039512312432 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0.01 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) R 23400 23403 20506 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 15 0 250787318 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039511259888 140040589251934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787319 14420721664 8232 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32928 KiB
[startup+0.210229 s]*
/proc/loadavg: 1.07 1.42 1.64 4/216 23418
/proc/meminfo: memFree=18897832/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14082736 memory=47068 CPUtime=0.3 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 10345 0 0 0 28 2 0 0 20 0 15 0 250787313 14420721664 11767 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3520684 11767 3381 1 0 3482761 0
[pid=23403/tid=23405] ppid=23400 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) S 23400 23403 20506 0 -1 1077944384 8032 0 0 0 18 2 0 0 20 0 15 0 250787313 14420721664 11767 33554432000 4194304 4196468 140727166572112 140040609396128 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14082736 memory=4211974332951571850 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 11767 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 11767 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 11767 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 11767 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250787315 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) R 23400 23403 20506 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 250787318 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039513365072 140040605181653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) R 23400 23403 20506 0 -1 4202560 151 0 0 0 1 0 0 0 20 0 15 0 250787318 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039512293448 140040582709248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0.06 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) R 23400 23403 20506 0 -1 4202560 343 0 0 0 6 0 0 0 20 0 15 0 250787318 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039511257280 140040583771975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787319 14420721664 11767 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47068 KiB
[startup+0.310505 s]*
/proc/loadavg: 1.07 1.42 1.64 3/216 23418
/proc/meminfo: memFree=18875332/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14082736 memory=50296 CPUtime=0.44 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 10735 0 0 0 41 3 0 0 20 0 15 0 250787313 14420721664 12574 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3520684 12574 3383 1 0 3482761 0
[pid=23403/tid=23405] ppid=23400 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) R 23400 23403 20506 0 -1 4202560 8387 0 0 0 28 2 0 0 20 0 15 0 250787313 14420721664 12574 33554432000 4194304 4196468 140727166572112 140040609352496 140040582395600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14082736 memory=4211974332951571850 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 12574 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14082736 memory=140606746783672 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 12574 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14082736 memory=140606626200076 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 12574 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14082736 memory=140606626188751 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14420721664 12574 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14082736 memory=140606746801844 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250787315 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14082736 memory=140606626197935 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14082736 memory=281213252386704 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14082736 memory=281213252384400 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) S 23400 23403 20506 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 250787318 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039513364976 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) S 23400 23403 20506 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 250787318 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039512312432 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0.08 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) S 23400 23403 20506 0 -1 1077944384 362 0 0 0 8 0 0 0 20 0 15 0 250787318 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039511259888 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14082736 memory=140606746781312 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787319 14420721664 12574 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50296 KiB
[startup+0.700687 s]
/proc/loadavg: 1.07 1.42 1.64 4/216 23418
/proc/meminfo: memFree=18861080/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14084804 memory=88792 CPUtime=0.99 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 17589 0 0 0 95 4 0 0 20 0 15 0 250787313 14422839296 22198 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3521201 22198 3499 1 0 3483273 0
[pid=23403/tid=23405] ppid=23400 vsize=14084804 memory=876 CPUtime=0.67 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) R 23400 23403 20506 0 -1 4202560 14833 0 0 0 64 3 0 0 20 0 15 0 250787313 14422839296 22198 33554432000 4194304 4196468 140727166572112 140040609396528 140040587083944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14084804 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14422839296 22198 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14422839296 22198 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14422839296 22198 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14422839296 22198 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250787315 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14084804 memory=269 CPUtime=0.07 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) S 23400 23403 20506 0 -1 1077944384 625 0 0 0 7 0 0 0 20 0 15 0 250787318 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039513364976 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) S 23400 23403 20506 0 -1 1077944384 292 0 0 0 7 0 0 0 20 0 15 0 250787318 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039512312432 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14084804 memory=20532 CPUtime=0.15 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) S 23400 23403 20506 0 -1 1077944384 457 0 0 0 15 0 0 0 20 0 15 0 250787318 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039511259888 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14084804 memory=281213252570608 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787319 14422839296 22198 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88792 KiB
[startup+1.38124 s]
# the end of solver process 23403 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.4413 s, system=0.083968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801766 s]
/proc/loadavg: 1.07 1.42 1.64 4/216 23418
/proc/meminfo: memFree=18861080/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14086852 memory=93056 CPUtime=1.19 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 18093 0 0 0 114 5 0 0 20 0 15 0 250787313 14424936448 23264 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3521713 23264 3513 1 0 3483785 0
[pid=23403/tid=23405] ppid=23400 vsize=14086852 memory=8851400225972064177 CPUtime=0.77 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) R 23400 23403 20506 0 -1 4202560 15166 0 0 0 74 3 0 0 20 0 15 0 250787313 14424936448 23264 33554432000 4194304 4196468 140727166572112 140040609407120 140040241924816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14424936448 23264 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14424936448 23264 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14424936448 23264 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14086852 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14424936448 23264 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14086852 memory=6363681283794813024 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250787315 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14086852 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14086852 memory=7375016464604554582 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14086852 memory=5788087956272664656 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14086852 memory=8310089781426884755 CPUtime=0.09 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) S 23400 23403 20506 0 -1 1077944384 651 0 0 0 9 0 0 0 20 0 15 0 250787318 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039513364976 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14086852 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) S 23400 23403 20506 0 -1 1077944384 303 0 0 0 9 0 0 0 20 0 15 0 250787318 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039512312432 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14086852 memory=345967677 CPUtime=0.21 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) R 23400 23403 20506 0 -1 4202560 591 0 0 0 21 0 0 0 20 0 15 0 250787318 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039511256824 140040583884454 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14086852 memory=281213252662880 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787319 14424936448 23264 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 93056 KiB
[startup+1.20063 s]
/proc/loadavg: 1.07 1.42 1.64 5/216 23418
/proc/meminfo: memFree=18835036/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14088900 memory=124232 CPUtime=2.02 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 21823 0 0 0 195 7 0 0 20 0 15 0 250787313 14427033600 31058 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3522225 31058 3531 1 0 3484297 0
[pid=23403/tid=23405] ppid=23400 vsize=14088900 memory=4051330028506710048 CPUtime=1.17 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) R 23400 23403 20506 0 -1 4202560 17705 0 0 0 113 4 0 0 20 0 15 0 250787313 14427033600 31058 33554432000 4194304 4196468 140727166572112 140040609398000 140040243085119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14427033600 31058 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14427033600 31058 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14427033600 31058 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14427033600 31058 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250787315 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14088900 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) S 23400 23403 20506 0 -1 1077944384 839 0 0 0 19 0 0 0 20 0 15 0 250787318 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039513364976 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14088900 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) S 23400 23403 20506 0 -1 1077944384 501 0 0 0 20 0 0 0 20 0 15 0 250787318 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039512312432 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14088900 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) R 23400 23403 20506 0 -1 4202560 1394 0 0 0 42 0 0 0 20 0 15 0 250787318 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039511259888 140040605183382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14088900 memory=739271074867393073 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14088900 memory=-8851153767425282410 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14427033600 31058 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 124232 KiB
[startup+1.30072 s]
/proc/loadavg: 1.07 1.42 1.64 5/216 23418
/proc/meminfo: memFree=18835036/32770624 swapFree=67108860/67108860
[pid=23403] ppid=23400 vsize=14090948 memory=132672 CPUtime=2.31 cores=1,3,5,7
/proc/23403/stat : 23403 (java) S 23400 23403 20506 0 -1 1077944320 22695 0 0 0 224 7 0 0 20 0 15 0 250787313 14429130752 33168 33554432000 4194304 4196468 140727166572112 140727166554656 140040605171447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
/proc/23403/statm: 3522737 33168 3534 1 0 3484809 0
[pid=23403/tid=23405] ppid=23400 vsize=14090948 memory=81732 CPUtime=1.27 cores=1,3,5,7
/proc/23403/task/23405/stat : 23405 (java) R 23400 23403 20506 0 -1 4202560 17817 0 0 0 122 5 0 0 20 0 15 0 250787313 14429130752 33168 33554432000 4194304 4196468 140727166572112 140040609408768 140040246948464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23406] ppid=23400 vsize=14090948 memory=269 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23406/stat : 23406 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14429130752 33168 33554432000 4194304 4196468 140727166572112 140040563931920 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23407] ppid=23400 vsize=14090948 memory=7 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23407/stat : 23407 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14429130752 33168 33554432000 4194304 4196468 140727166572112 140040200338320 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23408] ppid=23400 vsize=14090948 memory=20532 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23408/stat : 23408 (java) S 23400 23403 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250787314 14429130752 33168 33554432000 4194304 4196468 140727166572112 140040199285776 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23409] ppid=23400 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23409/stat : 23409 (java) S 23400 23403 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250787314 14429130752 33168 33554432000 4194304 4196468 140727166572112 140040198233232 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23410] ppid=23400 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23410/stat : 23410 (java) S 23400 23403 20506 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 250787315 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039517575152 140040605182594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23411] ppid=23400 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23411/stat : 23411 (java) S 23400 23403 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250787316 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039516521376 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23412] ppid=23400 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23412/stat : 23412 (java) S 23400 23403 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250787316 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039515468784 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23413] ppid=23400 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23413/stat : 23413 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787318 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039514417360 140040605190043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23414] ppid=23400 vsize=14090948 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/23403/task/23414/stat : 23414 (java) R 23400 23403 20506 0 -1 4202560 1010 0 0 0 25 0 0 0 20 0 15 0 250787318 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039513355088 140040588694712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23415] ppid=23400 vsize=14090948 memory=281210970618597 CPUtime=0.27 cores=1,3,5,7
/proc/23403/task/23415/stat : 23415 (java) R 23400 23403 20506 0 -1 4202560 890 0 0 0 27 0 0 0 20 0 15 0 250787318 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039512297392 140040590286719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23416] ppid=23400 vsize=14090948 memory=281213252479952 CPUtime=0.49 cores=1,3,5,7
/proc/23403/task/23416/stat : 23416 (java) S 23400 23403 20506 0 -1 1077944384 1583 0 0 0 49 0 0 0 20 0 15 0 250787318 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039511259888 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23417] ppid=23400 vsize=14090948 memory=95 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23417/stat : 23417 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039510207584 140040605181653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
[pid=23403/tid=23418] ppid=23400 vsize=14090948 memory=269 CPUtime=0 cores=1,3,5,7
/proc/23403/task/23418/stat : 23418 (java) S 23400 23403 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250787319 14429130752 33168 33554432000 4194304 4196468 140727166572112 140039509154096 140040605182594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24645632 140727166579802 140727166579982 140727166579982 140727166582735 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 132672 KiB
Child status: 0
Real time (s): 1.38129
CPU time (s): 2.52527
CPU user time (s): 2.4413
CPU system time (s): 0.083968
CPU usage (%): 182.82
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 132672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.4413
system time used= 0.083968
maximum resident set size= 140240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2519
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 23403
# total CPU time (s): 2.52527
# total CPU user time (s): 2.4413
# total CPU system time (s): 0.083968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033117 second user time and 0.054068 second system time
The end