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 (12193 MiB free)
memory of node 1: 16384 MiB (8303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308693-1534305636/watcher-4308693-1534305636 -o /tmp/evaluation-result-4308693-1534305636/solver-4308693-1534305636 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 303269283 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308693-1534305636.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23286, runsolver pid=23283
[startup+0.100159 s]*
/proc/loadavg: 1.78 1.85 1.92 3/216 23301
/proc/meminfo: memFree=20972412/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14082736 memory=32844 CPUtime=0.12 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 7109 0 0 0 11 1 0 0 20 0 15 0 248126748 14420721664 8211 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3520684 8211 3161 1 0 3482761 0
[pid=23286/tid=23288] ppid=23283 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 4202560 5159 0 0 0 9 0 0 0 20 0 15 0 248126748 14420721664 8211 33554432000 4194304 4196468 140736279915824 140640229685648 140640209540446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14082736 memory=5793855251118606777 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 8211 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) S 23283 23286 21941 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639695997040 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639694944240 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0.01 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) R 23283 23286 21941 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 248126754 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639693891952 140640217697086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 8211 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32844 KiB
[startup+0.212889 s]*
/proc/loadavg: 1.78 1.85 1.92 7/216 23301
/proc/meminfo: memFree=20956252/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14082736 memory=46736 CPUtime=0.32 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 10374 0 0 0 30 2 0 0 20 0 15 0 248126748 14420721664 11684 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3520684 11684 3371 1 0 3482761 0
[pid=23286/tid=23288] ppid=23283 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 4202560 8049 0 0 0 19 1 0 0 20 0 15 0 248126748 14420721664 11684 33554432000 4194304 4196468 140736279915824 140640229685248 140640209540446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14082736 memory=4211973726313504138 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 11684 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) R 23283 23286 21941 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 248126754 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639695997040 140640225471106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) S 23283 23286 21941 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 248126754 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639694944240 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0.06 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) R 23283 23286 21941 0 -1 4202560 328 0 0 0 6 0 0 0 20 0 15 0 248126754 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639693890368 140640204128249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 11684 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46736 KiB
[startup+0.31076 s]*
/proc/loadavg: 1.78 1.85 1.92 3/216 23301
/proc/meminfo: memFree=20952832/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14082736 memory=50452 CPUtime=0.43 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 10728 0 0 0 41 2 0 0 20 0 15 0 248126748 14420721664 12613 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3520684 12613 3379 1 0 3482761 0
[pid=23286/tid=23288] ppid=23283 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 4202560 8387 0 0 0 28 2 0 0 20 0 15 0 248126748 14420721664 12613 33554432000 4194304 4196468 140736279915824 140640229680880 140640205735289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14082736 memory=4211973726313504138 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 12613 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14082736 memory=140000108715957 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14082736 memory=139999962070981 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14082736 memory=139999962058191 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14082736 memory=140000108735568 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14082736 memory=139999962067375 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14082736 memory=279999924125584 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14082736 memory=279999924123280 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) S 23283 23286 21941 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 15 0 248126754 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639695997040 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) S 23283 23286 21941 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 15 0 248126754 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639694944240 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0.07 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) S 23283 23286 21941 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 15 0 248126754 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639693891952 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14082736 memory=140000108713600 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126754 14420721664 12613 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50452 KiB
[startup+0.700819 s]
/proc/loadavg: 1.78 1.85 1.92 3/216 23301
/proc/meminfo: memFree=20929020/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14084804 memory=88748 CPUtime=0.99 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 17583 0 0 0 95 4 0 0 20 0 15 0 248126748 14422839296 22187 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3521201 22187 3500 1 0 3483273 0
[pid=23286/tid=23288] ppid=23283 vsize=14084804 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 4202560 14822 0 0 0 64 3 0 0 20 0 15 0 248126748 14422839296 22187 33554432000 4194304 4196468 140736279915824 140640229684944 140640193049800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14422839296 22187 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14084804 memory=868 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14084804 memory=6370994028255662167 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 248126751 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14084804 memory=229 CPUtime=0.06 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) S 23283 23286 21941 0 -1 1077944384 653 0 0 0 6 0 0 0 20 0 15 0 248126754 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639695997040 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14084804 memory=7 CPUtime=0.09 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) S 23283 23286 21941 0 -1 1077944384 275 0 0 0 9 0 0 0 20 0 15 0 248126754 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639694944240 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14084804 memory=707 CPUtime=0.15 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) S 23283 23286 21941 0 -1 1077944384 450 0 0 0 15 0 0 0 20 0 15 0 248126754 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639693891952 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14084804 memory=279999924309488 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126754 14422839296 22187 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88748 KiB
[startup+1.50121 s]
/proc/loadavg: 1.78 1.85 1.92 4/216 23301
/proc/meminfo: memFree=20861944/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14090948 memory=198828 CPUtime=3.19 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 25976 0 0 0 311 8 0 0 20 0 15 0 248126748 14429130752 49707 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3522737 49707 3547 1 0 3484809 0
[pid=23286/tid=23288] ppid=23283 vsize=14090948 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 1077944384 20048 0 0 0 141 6 0 0 20 0 15 0 248126748 14429130752 49707 33554432000 4194304 4196468 140736279915824 140640229696256 140640225470165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14090948 memory=4947090531163151232 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 49707 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14090948 memory=-5862946231257884775 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14090948 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14090948 memory=-7593178207252075054 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14090948 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14090948 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) R 23283 23286 21941 0 -1 4202560 1728 0 0 0 60 0 0 0 20 0 15 0 248126754 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639695997040 140640225471894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14090948 memory=4580 CPUtime=0.6 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) R 23283 23286 21941 0 -1 4202560 1248 0 0 0 60 0 0 0 20 0 15 0 248126754 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639694944240 140640206095856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14090948 memory=-6876588461455810464 CPUtime=0.49 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) R 23283 23286 21941 0 -1 4202560 1490 0 0 0 49 0 0 0 20 0 15 0 248126754 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639693892048 140640225471894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14090948 memory=7666384899138478906 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 49707 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 198828 KiB
[startup+1.72541 s]
# the end of solver process 23286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.77211 s, system=0.098783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60093 s]
/proc/loadavg: 1.78 1.85 1.92 4/216 23301
/proc/meminfo: memFree=20861944/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14090948 memory=203920 CPUtime=3.52 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 26600 0 0 0 344 8 0 0 20 0 15 0 248126748 14429130752 50980 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3522737 50980 3552 1 0 3484809 0
[pid=23286/tid=23288] ppid=23283 vsize=14090948 memory=7957689449132282197 CPUtime=1.56 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 4202560 20135 0 0 0 150 6 0 0 20 0 15 0 248126748 14429130752 50980 33554432000 4194304 4196468 140736279915824 140640229695864 140639867147615 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14090948 memory=7452728842579373158 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 50980 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14090948 memory=240042635363372 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14090948 memory=4122263934545952800 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14090948 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14090948 memory=-6305716100677395584 CPUtime=0.71 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) R 23283 23286 21941 0 -1 4202560 1971 0 0 0 70 1 0 0 20 0 15 0 248126754 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639695983232 140640205153059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14090948 memory=6944656592387989600 CPUtime=0.7 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) R 23283 23286 21941 0 -1 4202560 1450 0 0 0 70 0 0 0 20 0 15 0 248126754 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639694924448 140640206159502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14090948 memory=6944652177228980320 CPUtime=0.52 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) S 23283 23286 21941 0 -1 1077944384 1582 0 0 0 52 0 0 0 20 0 15 0 248126754 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639693891952 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14090948 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14090948 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 50980 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 3.52 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 203920 KiB
[startup+1.70093 s]
/proc/loadavg: 1.78 1.85 1.92 4/216 23301
/proc/meminfo: memFree=20861944/32770624 swapFree=67108372/67108860
[pid=23286] ppid=23283 vsize=14090948 memory=209544 CPUtime=3.83 cores=0,2,4,6
/proc/23286/stat : 23286 (java) S 23283 23286 21941 0 -1 1077944320 26989 0 0 0 374 9 0 0 20 0 15 0 248126748 14429130752 52386 33554432000 4194304 4196468 140736279915824 140736279898368 140640225459959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
/proc/23286/statm: 3522737 52386 3552 1 0 3484809 0
[pid=23286/tid=23288] ppid=23283 vsize=14090948 memory=0 CPUtime=1.66 cores=0,2,4,6
/proc/23286/task/23288/stat : 23288 (java) R 23283 23286 21941 0 -1 4202560 20139 0 0 0 160 6 0 0 20 0 15 0 248126748 14429130752 52386 33554432000 4194304 4196468 140736279915824 140640229689248 140639867719426 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23289] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23289/stat : 23289 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 52386 33554432000 4194304 4196468 140736279915824 140640182012304 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23290] ppid=23283 vsize=14090948 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23290/stat : 23290 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639820245264 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23291] ppid=23283 vsize=14090948 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23291/stat : 23291 (java) S 23283 23286 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639819192976 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23292] ppid=23283 vsize=14090948 memory=7666384899138478906 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23292/stat : 23292 (java) S 23283 23286 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248126749 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639818140176 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23293] ppid=23283 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23293/stat : 23293 (java) S 23283 23286 21941 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639700208240 140640225471106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23294] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23294/stat : 23294 (java) S 23283 23286 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639699154208 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23295] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23295/stat : 23295 (java) S 23283 23286 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 248126751 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639698101872 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23296] ppid=23283 vsize=14090948 memory=10 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23296/stat : 23296 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639697050192 140640225478555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23297] ppid=23283 vsize=14090948 memory=7100839852960354190 CPUtime=0.81 cores=0,2,4,6
/proc/23286/task/23297/stat : 23297 (java) R 23283 23286 21941 0 -1 4202560 2145 0 0 0 80 1 0 0 20 0 15 0 248126754 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639695986960 140640204636673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23298] ppid=23283 vsize=14090948 memory=-2915662219940058526 CPUtime=0.8 cores=0,2,4,6
/proc/23286/task/23298/stat : 23298 (java) R 23283 23286 21941 0 -1 4202560 1661 0 0 0 80 0 0 0 20 0 15 0 248126754 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639694933760 140640218556851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23299] ppid=23283 vsize=14090948 memory=-8382737541924953461 CPUtime=0.53 cores=0,2,4,6
/proc/23286/task/23299/stat : 23299 (java) S 23283 23286 21941 0 -1 1077944384 1582 0 0 0 53 0 0 0 20 0 15 0 248126754 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639693891952 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23300] ppid=23283 vsize=14090948 memory=7816125180059986507 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23300/stat : 23300 (java) S 23283 23286 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639692839392 140640225470165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
[pid=23286/tid=23301] ppid=23283 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23286/task/23301/stat : 23301 (java) S 23283 23286 21941 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 248126754 14429130752 52386 33554432000 4194304 4196468 140736279915824 140639691787184 140640225471106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36167680 140736279917653 140736279917833 140736279917833 140736279920591 0
Current children cumulated CPU time: 3.83 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 209544 KiB
Child status: 0
Real time (s): 1.72547
CPU time (s): 3.8709
CPU user time (s): 3.77211
CPU system time (s): 0.098783
CPU usage (%): 224.339
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 209544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.77211
system time used= 0.098783
maximum resident set size= 212064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2226
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 23286
# total CPU time (s): 3.8709
# total CPU user time (s): 3.77211
# total CPU system time (s): 0.098783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041308 second user time and 0.05099 second system time
The end