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 (14033 MiB free)
memory of node 1: 16384 MiB (9370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308160-1534322669/watcher-4308160-1534322669 -o /tmp/evaluation-result-4308160-1534322669/solver-4308160-1534322669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534322669-15270 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 88068887 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308160-1534322669.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15289, runsolver pid=15286
[startup+0.100109 s]*
/proc/loadavg: 1.00 1.04 1.28 3/213 15322
/proc/meminfo: memFree=23936580/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14082736 memory=31620 CPUtime=0.12 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 6787 0 0 0 10 2 0 0 20 0 15 0 249830119 14420721664 7905 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3520684 7905 3160 1 0 3482761 0
[pid=15289/tid=15291] ppid=15286 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) R 15286 15289 11116 0 -1 4202560 4850 0 0 0 8 1 0 0 20 0 15 0 249830119 14420721664 7905 33554432000 4194304 4196468 140732269533744 139730379835040 139730375636125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14082736 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 7905 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 7905 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 7905 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 7905 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830121 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249830122 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249830122 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729487524592 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) S 15286 15289 11116 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 249830124 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729485421296 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729484368752 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0.01 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) S 15286 15289 11116 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 249830124 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830125 14420721664 7905 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31620 KiB
[startup+0.214096 s]*
/proc/loadavg: 1.00 1.04 1.28 6/219 15328
/proc/meminfo: memFree=23902688/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14082736 memory=47416 CPUtime=0.31 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 10461 0 0 0 28 3 0 0 20 0 15 0 249830119 14420721664 11854 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3520684 11854 3378 1 0 3482761 0
[pid=15289/tid=15291] ppid=15286 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) S 15286 15289 11116 0 -1 1077944384 8185 0 0 0 18 2 0 0 20 0 15 0 249830119 14420721664 11854 33554432000 4194304 4196468 140732269533744 139730379843056 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 11854 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14082736 memory=140022356719796 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 11854 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 11854 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 11854 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249830121 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249830122 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249830122 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729487524592 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) R 15286 15289 11116 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 249830124 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729485421424 139730375624405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) S 15286 15289 11116 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 249830124 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729484368752 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0.06 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) S 15286 15289 11116 0 -1 1077944384 298 0 0 0 6 0 0 0 20 0 15 0 249830124 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14082736 memory=140022355375744 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830125 14420721664 11854 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47416 KiB
[startup+0.310678 s]*
/proc/loadavg: 1.00 1.04 1.28 3/219 15328
/proc/meminfo: memFree=23891832/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14082736 memory=50540 CPUtime=0.44 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 10808 0 0 0 41 3 0 0 20 0 15 0 249830119 14420721664 12635 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3520684 12635 3381 1 0 3482761 0
[pid=15289/tid=15291] ppid=15286 vsize=14082736 memory=53476 CPUtime=0.29 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) R 15286 15289 11116 0 -1 4202560 8513 0 0 0 27 2 0 0 20 0 15 0 249830119 14420721664 12635 33554432000 4194304 4196468 140732269533744 139730379822032 139730355890080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 12635 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14082736 memory=140022355433760 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 12635 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14082736 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 12635 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14420721664 12635 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14082736 memory=140022355440672 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249830121 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249830122 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249830122 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729487524592 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) S 15286 15289 11116 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 249830124 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729485421296 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14082736 memory=140022242205647 CPUtime=0.03 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) S 15286 15289 11116 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 15 0 249830124 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729484368752 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14082736 memory=140022355391014 CPUtime=0.08 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) S 15286 15289 11116 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 15 0 249830124 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14082736 memory=140022242205647 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14082736 memory=280044597598144 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830125 14420721664 12635 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50540 KiB
[startup+0.700702 s]
/proc/loadavg: 1.00 1.04 1.28 7/219 15328
/proc/meminfo: memFree=23858592/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14084804 memory=88776 CPUtime=0.99 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 17624 0 0 0 94 5 0 0 20 0 15 0 249830119 14422839296 22194 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3521201 22194 3504 1 0 3483273 0
[pid=15289/tid=15291] ppid=15286 vsize=14084804 memory=14892 CPUtime=0.67 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) R 15286 15289 11116 0 -1 4202560 14937 0 0 0 64 3 0 0 20 0 15 0 249830119 14422839296 22194 33554432000 4194304 4196468 140732269533744 139730379829104 139730359694686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14084804 memory=13920 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14422839296 22194 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14084804 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14422839296 22194 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14084804 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249830120 14422839296 22194 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14084804 memory=140022242298720 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830120 14422839296 22194 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249830121 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249830122 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249830122 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729487524592 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14084804 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14084804 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) S 15286 15289 11116 0 -1 1077944384 607 0 0 0 6 0 0 0 20 0 15 0 249830124 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729485421296 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) S 15286 15289 11116 0 -1 1077944384 318 0 0 0 8 0 0 0 20 0 15 0 249830124 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729484368752 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) S 15286 15289 11116 0 -1 1077944384 381 0 0 0 14 0 0 0 20 0 15 0 249830124 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14084804 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249830125 14422839296 22194 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88776 KiB
[startup+1.50076 s]
/proc/loadavg: 1.00 1.04 1.28 7/219 15328
/proc/meminfo: memFree=23731304/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14086852 memory=226664 CPUtime=3.45 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 25629 0 0 0 336 9 0 0 20 0 15 0 249830119 14424936448 56666 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3521713 56666 3560 1 0 3483785 0
[pid=15289/tid=15291] ppid=15286 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) R 15286 15289 11116 0 -1 4202560 17522 0 0 0 139 6 0 0 20 0 15 0 249830119 14424936448 56666 33554432000 4194304 4196468 140732269533744 139730379849360 139730004337988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14086852 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 56666 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14086852 memory=140022242298720 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 56666 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 56666 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 56666 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 249830121 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 249830122 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 249830122 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729487524608 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14086852 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) R 15286 15289 11116 0 -1 4202560 1844 0 0 0 69 0 0 0 20 0 15 0 249830124 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729485407872 139730359113064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14086852 memory=6656426216303648864 CPUtime=0.71 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) R 15286 15289 11116 0 -1 4202560 1829 0 0 0 71 0 0 0 20 0 15 0 249830124 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729484355264 139730354860089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14086852 memory=6944656575208382560 CPUtime=0.54 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) S 15286 15289 11116 0 -1 1077944384 2494 0 0 0 54 0 0 0 20 0 15 0 249830124 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 249830125 14424936448 56666 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 226664 KiB
[startup+2.09305 s]
# the end of solver process 15289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.11578 s, system=0.125565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 1.00 1.04 1.28 7/219 15328
/proc/meminfo: memFree=23731304/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14086852 memory=228356 CPUtime=3.76 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 26137 0 0 0 366 10 0 0 20 0 15 0 249830119 14424936448 57089 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3521713 57089 3562 1 0 3483785 0
[pid=15289/tid=15291] ppid=15286 vsize=14086852 memory=280044484307232 CPUtime=1.55 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) R 15286 15289 11116 0 -1 4202560 17553 0 0 0 149 6 0 0 20 0 15 0 249830119 14424936448 57089 33554432000 4194304 4196468 140732269533744 139730379848032 139729999789385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14086852 memory=140022242097666 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 57089 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14086852 memory=8974 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 57089 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 57089 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14086852 memory=4640205581889659494 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 249830120 14424936448 57089 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14086852 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 249830121 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14086852 memory=7086521019847501400 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 249830122 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14086852 memory=6082485592113244518 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 249830122 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729487524608 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14086852 memory=6451477224144210323 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14086852 memory=280044484444416 CPUtime=0.78 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) R 15286 15289 11116 0 -1 4202560 2305 0 0 0 78 0 0 0 20 0 15 0 249830124 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729485402896 139730359000987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14086852 memory=8514701219242344867 CPUtime=0.81 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) R 15286 15289 11116 0 -1 4202560 1840 0 0 0 81 0 0 0 20 0 15 0 249830124 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729484361944 139730356358664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14086852 memory=-8033973737701895300 CPUtime=0.54 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) R 15286 15289 11116 0 -1 1077944384 2499 0 0 0 54 0 0 0 20 0 15 0 249830124 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14086852 memory=-9103035301870542197 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14086852 memory=8868 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 249830125 14424936448 57089 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 3.76 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 228356 KiB
[startup+2.0067 s]*
/proc/loadavg: 1.00 1.04 1.28 7/219 15328
/proc/meminfo: memFree=23500972/32770624 swapFree=67108852/67108860
[pid=15289] ppid=15286 vsize=14090948 memory=239588 CPUtime=5.05 cores=1,3,5,7
/proc/15289/stat : 15289 (java) S 15286 15289 11116 0 -1 1077944320 31382 0 0 0 494 11 0 0 20 0 15 0 249830119 14429130752 59897 33554432000 4194304 4196468 140732269533744 140732269516288 139730375614199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
/proc/15289/statm: 3522737 59897 3570 1 0 3484809 0
[pid=15289/tid=15291] ppid=15286 vsize=14090948 memory=6791534058613427641 CPUtime=1.96 cores=1,3,5,7
/proc/15289/task/15291/stat : 15291 (java) R 15286 15289 11116 0 -1 4202560 20497 0 0 0 189 7 0 0 20 0 15 0 249830119 14429130752 59897 33554432000 4194304 4196468 140732269533744 139730379848624 139730009013251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15292] ppid=15286 vsize=14090948 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15292/stat : 15292 (java) S 15286 15289 11116 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 249830120 14429130752 59897 33554432000 4194304 4196468 140732269533744 139730328235024 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15293] ppid=15286 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15293/stat : 15293 (java) S 15286 15289 11116 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 249830120 14429130752 59897 33554432000 4194304 4196468 140732269533744 139730327182480 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15294] ppid=15286 vsize=14090948 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15294/stat : 15294 (java) S 15286 15289 11116 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 249830120 14429130752 59897 33554432000 4194304 4196468 140732269533744 139730326129424 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15295] ppid=15286 vsize=14090948 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15295/stat : 15295 (java) S 15286 15289 11116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 249830120 14429130752 59897 33554432000 4194304 4196468 140732269533744 139730325076880 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15296] ppid=15286 vsize=14090948 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15296/stat : 15296 (java) S 15286 15289 11116 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 249830121 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729489631472 139730375625346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15297] ppid=15286 vsize=14090948 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15297/stat : 15297 (java) S 15286 15289 11116 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 249830122 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729488577696 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15298] ppid=15286 vsize=14090948 memory=6944656592452807216 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15298/stat : 15298 (java) S 15286 15289 11116 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 249830122 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729487524608 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15304] ppid=15286 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15304/stat : 15304 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830124 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729486473168 139730375632795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15305] ppid=15286 vsize=14090948 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/15289/task/15305/stat : 15305 (java) R 15286 15289 11116 0 -1 4202560 2684 0 0 0 106 0 0 0 20 0 15 0 249830124 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729485421296 139730355457807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15306] ppid=15286 vsize=14090948 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/15289/task/15306/stat : 15306 (java) R 15286 15289 11116 0 -1 4202560 2298 0 0 0 116 0 0 0 20 0 15 0 249830124 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729484350864 139730354831422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15307] ppid=15286 vsize=14090948 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/15289/task/15307/stat : 15307 (java) R 15286 15289 11116 0 -1 1077944384 3961 0 0 0 77 1 0 0 20 0 15 0 249830124 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729483315696 139730375625346 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15309] ppid=15286 vsize=14090948 memory=140022242481711 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15309/stat : 15309 (java) S 15286 15289 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249830125 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729482263392 139730375624405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
[pid=15289/tid=15313] ppid=15286 vsize=14090948 memory=140022355375744 CPUtime=0 cores=1,3,5,7
/proc/15289/task/15313/stat : 15313 (java) S 15286 15289 11116 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 249830125 14429130752 59897 33554432000 4194304 4196468 140732269533744 139729481210416 139730375625346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140732269536330 140732269536521 140732269536521 140732269539279 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 239588 KiB
Child status: 0
Real time (s): 2.09312
CPU time (s): 5.24135
CPU user time (s): 5.11578
CPU system time (s): 0.125565
CPU usage (%): 250.408
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 239588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.11578
system time used= 0.125565
maximum resident set size= 241424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33286
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= 2501
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 15289
# total CPU time (s): 5.24135
# total CPU user time (s): 5.11578
# total CPU system time (s): 0.125565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041734 second user time and 0.062612 second system time
The end