runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458521-1307157351/watcher-3458521-1307157351 -o /tmp/evaluation-result-3458521-1307157351/solver-3458521-1307157351 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458521-1307157351.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 1.97 2/496 28114
/proc/meminfo: memFree=26545600/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 5917 0 1 0 0 0 0 0 25 0 2 0 905965791 13850947584 5618 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3381579 5632 917 9 0 3372735 0
[pid=28114/tid=28115] ppid=28112 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 4865 0 1 0 0 0 0 0 25 0 2 0 905965792 13850947584 5681 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.047798 s]
/proc/loadavg: 2.08 2.02 1.97 2/496 28114
/proc/meminfo: memFree=26545600/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 13728 0 1 0 2 1 0 0 25 0 13 0 905965791 13874667520 13424 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3387370 13426 1669 9 0 3378118 0
[pid=28114/tid=28115] ppid=28112 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 12583 0 1 0 2 1 0 0 25 0 13 0 905965792 13874667520 13427 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 47223985809427 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.105769 s]
/proc/loadavg: 2.08 2.02 1.97 2/496 28114
/proc/meminfo: memFree=26545600/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13621932 CPUtime=0.11 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 15468 0 1 0 9 2 0 0 25 0 18 0 905965791 13948858368 15156 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3405483 15156 2093 9 0 3396217 0
[pid=28114/tid=28115] ppid=28112 vsize=13621932 CPUtime=0.08 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 13635 0 1 0 7 1 0 0 25 0 18 0 905965792 13948858368 15156 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379373515 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621932
[startup+0.300695 s]
/proc/loadavg: 2.08 2.02 1.97 2/496 28114
/proc/meminfo: memFree=26545600/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13627016 CPUtime=0.51 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 18011 0 1 0 49 2 0 0 25 0 19 0 905965791 13954064384 16990 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3406754 16990 2206 9 0 3397488 0
[pid=28114/tid=28115] ppid=28112 vsize=13627016 CPUtime=0.28 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 14215 0 1 0 27 1 0 0 25 0 19 0 905965792 13954064384 16990 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363782 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13627016
[startup+0.700623 s]
/proc/loadavg: 2.08 2.02 1.97 2/496 28114
/proc/meminfo: memFree=26545600/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13627016 CPUtime=1.04 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 19450 0 1 0 102 2 0 0 25 0 19 0 905965791 13954064384 17642 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3406754 17642 2244 9 0 3397488 0
[pid=28114/tid=28115] ppid=28112 vsize=13627016 CPUtime=0.66 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 14395 0 1 0 65 1 0 0 25 0 19 0 905965792 13954064384 17642 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 46912505561120 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13627016
[startup+1.50152 s]
/proc/loadavg: 2.08 2.02 1.97 3/514 28200
/proc/meminfo: memFree=26494624/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13627016 CPUtime=1.89 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 20107 0 1 0 186 3 0 0 25 0 19 0 905965791 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3406754 18112 2245 9 0 3397488 0
[pid=28114/tid=28115] ppid=28112 vsize=13627016 CPUtime=1.41 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 14398 0 1 0 140 1 0 0 25 0 19 0 905965792 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 46912505540936 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28114/tid=28117] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28117/stat : 28117 (java) S 28112 28114 24487 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28118] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28118/stat : 28118 (java) S 28112 28114 24487 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28119] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28119/stat : 28119 (java) S 28112 28114 24487 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28120] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28120/stat : 28120 (java) S 28112 28114 24487 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28121] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28121/stat : 28121 (java) S 28112 28114 24487 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28122] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28122/stat : 28122 (java) S 28112 28114 24487 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28123] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28123/stat : 28123 (java) S 28112 28114 24487 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28124] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28124/stat : 28124 (java) S 28112 28114 24487 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28125] ppid=28112 vsize=13627016 CPUtime=0.04 cores=0,2,4,6
/proc/28114/task/28125/stat : 28125 (java) S 28112 28114 24487 0 -1 4202560 363 0 0 0 4 0 0 0 16 0 19 0 905965795 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 0 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28126] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28126/stat : 28126 (java) S 28112 28114 24487 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28127] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28127/stat : 28127 (java) S 28112 28114 24487 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28128] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28128/stat : 28128 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379370417 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28129] ppid=28112 vsize=13627016 CPUtime=0.13 cores=0,2,4,6
/proc/28114/task/28129/stat : 28129 (java) S 28112 28114 24487 0 -1 4202560 1181 0 0 0 13 0 0 0 15 0 19 0 905965798 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28130] ppid=28112 vsize=13627016 CPUtime=0.25 cores=0,2,4,6
/proc/28114/task/28130/stat : 28130 (java) S 28112 28114 24487 0 -1 4202560 2536 0 0 0 25 0 0 0 17 0 19 0 905965798 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28131] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28131/stat : 28131 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28132] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28132/stat : 28132 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905965798 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28133] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28133/stat : 28133 (java) S 28112 28114 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905965809 13954064384 18112 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13627016
Solver just ended. Dumping a history of the last processes samples
[startup+1.90145 s]
/proc/loadavg: 2.08 2.02 1.97 3/514 28200
/proc/meminfo: memFree=26494624/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13627016 CPUtime=2.29 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 20228 0 1 0 226 3 0 0 25 0 19 0 905965791 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3406754 18232 2245 9 0 3397488 0
[pid=28114/tid=28115] ppid=28112 vsize=13627016 CPUtime=1.8 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 14399 0 1 0 179 1 0 0 25 0 19 0 905965792 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 46912505562131 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28114/tid=28117] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28117/stat : 28117 (java) S 28112 28114 24487 0 -1 4202560 149 0 0 0 0 0 0 0 16 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28118] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28118/stat : 28118 (java) S 28112 28114 24487 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28119] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28119/stat : 28119 (java) S 28112 28114 24487 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28120] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28120/stat : 28120 (java) S 28112 28114 24487 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28121] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28121/stat : 28121 (java) S 28112 28114 24487 0 -1 4202560 64 0 0 0 0 0 0 0 16 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28122] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28122/stat : 28122 (java) S 28112 28114 24487 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28123] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28123/stat : 28123 (java) S 28112 28114 24487 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28124] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28124/stat : 28124 (java) S 28112 28114 24487 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28125] ppid=28112 vsize=13627016 CPUtime=0.06 cores=0,2,4,6
/proc/28114/task/28125/stat : 28125 (java) S 28112 28114 24487 0 -1 4202560 455 0 0 0 6 0 0 0 16 0 19 0 905965795 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 0 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28126] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28126/stat : 28126 (java) S 28112 28114 24487 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28127] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28127/stat : 28127 (java) S 28112 28114 24487 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28128] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28128/stat : 28128 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379370417 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28129] ppid=28112 vsize=13627016 CPUtime=0.13 cores=0,2,4,6
/proc/28114/task/28129/stat : 28129 (java) S 28112 28114 24487 0 -1 4202560 1181 0 0 0 13 0 0 0 15 0 19 0 905965798 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28130] ppid=28112 vsize=13627016 CPUtime=0.25 cores=0,2,4,6
/proc/28114/task/28130/stat : 28130 (java) S 28112 28114 24487 0 -1 4202560 2536 0 0 0 25 0 0 0 17 0 19 0 905965798 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28131] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28131/stat : 28131 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28132] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28132/stat : 28132 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905965798 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28133] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28133/stat : 28133 (java) S 28112 28114 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905965809 13954064384 18232 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13627016
[startup+2.30137 s]
/proc/loadavg: 2.08 2.02 1.97 3/534 28223
/proc/meminfo: memFree=26190560/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13627016 CPUtime=2.7 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 20301 0 1 0 267 3 0 0 25 0 19 0 905965791 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3406754 18303 2250 9 0 3397488 0
[pid=28114/tid=28115] ppid=28112 vsize=13627016 CPUtime=2.18 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 14407 0 1 0 217 1 0 0 25 0 19 0 905965792 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 46912505595223 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28114/tid=28117] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28117/stat : 28117 (java) S 28112 28114 24487 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28118] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28118/stat : 28118 (java) S 28112 28114 24487 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28119] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28119/stat : 28119 (java) S 28112 28114 24487 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28120] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28120/stat : 28120 (java) S 28112 28114 24487 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28121] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28121/stat : 28121 (java) S 28112 28114 24487 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28122] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28122/stat : 28122 (java) S 28112 28114 24487 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28123] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28123/stat : 28123 (java) S 28112 28114 24487 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28124] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28124/stat : 28124 (java) S 28112 28114 24487 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28125] ppid=28112 vsize=13627016 CPUtime=0.07 cores=0,2,4,6
/proc/28114/task/28125/stat : 28125 (java) S 28112 28114 24487 0 -1 4202560 520 0 0 0 7 0 0 0 16 0 19 0 905965795 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 0 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28126] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28126/stat : 28126 (java) S 28112 28114 24487 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28127] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28127/stat : 28127 (java) S 28112 28114 24487 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28128] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28128/stat : 28128 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379370417 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28129] ppid=28112 vsize=13627016 CPUtime=0.15 cores=0,2,4,6
/proc/28114/task/28129/stat : 28129 (java) R 28112 28114 24487 0 -1 4202560 1181 0 0 0 15 0 0 0 15 0 19 0 905965798 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 47223983565657 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28114/tid=28130] ppid=28112 vsize=13627016 CPUtime=0.25 cores=0,2,4,6
/proc/28114/task/28130/stat : 28130 (java) S 28112 28114 24487 0 -1 4202560 2536 0 0 0 25 0 0 0 17 0 19 0 905965798 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28131] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28131/stat : 28131 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28132] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28132/stat : 28132 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905965798 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28133] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28133/stat : 28133 (java) S 28112 28114 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905965809 13954064384 18303 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 13627016
[startup+2.40135 s]
/proc/loadavg: 2.08 2.02 1.97 3/534 28223
/proc/meminfo: memFree=26190560/32950928 swapFree=34421304/67111528
[pid=28114] ppid=28112 vsize=13627016 CPUtime=2.81 cores=0,2,4,6
/proc/28114/stat : 28114 (java) S 28112 28114 24487 0 -1 4202496 20302 0 1 0 278 3 0 0 25 0 19 0 905965791 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28114/statm: 3406754 18304 2250 9 0 3397488 0
[pid=28114/tid=28115] ppid=28112 vsize=13627016 CPUtime=2.28 cores=0,2,4,6
/proc/28114/task/28115/stat : 28115 (java) R 28112 28114 24487 0 -1 4202560 14407 0 1 0 227 1 0 0 25 0 19 0 905965792 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 46912505751245 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28114/tid=28117] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28117/stat : 28117 (java) S 28112 28114 24487 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28118] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28118/stat : 28118 (java) S 28112 28114 24487 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28119] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28119/stat : 28119 (java) S 28112 28114 24487 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28120] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28120/stat : 28120 (java) S 28112 28114 24487 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28121] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28121/stat : 28121 (java) S 28112 28114 24487 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28122] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28122/stat : 28122 (java) S 28112 28114 24487 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28123] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28123/stat : 28123 (java) S 28112 28114 24487 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28124] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28124/stat : 28124 (java) S 28112 28114 24487 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 905965794 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28125] ppid=28112 vsize=13627016 CPUtime=0.07 cores=0,2,4,6
/proc/28114/task/28125/stat : 28125 (java) S 28112 28114 24487 0 -1 4202560 520 0 0 0 7 0 0 0 16 0 19 0 905965795 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 0 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28126] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28126/stat : 28126 (java) S 28112 28114 24487 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28127] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28127/stat : 28127 (java) S 28112 28114 24487 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 905965796 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28128] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28128/stat : 28128 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379370417 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28129] ppid=28112 vsize=13627016 CPUtime=0.16 cores=0,2,4,6
/proc/28114/task/28129/stat : 28129 (java) S 28112 28114 24487 0 -1 4202560 1182 0 0 0 16 0 0 0 15 0 19 0 905965798 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28130] ppid=28112 vsize=13627016 CPUtime=0.25 cores=0,2,4,6
/proc/28114/task/28130/stat : 28130 (java) S 28112 28114 24487 0 -1 4202560 2536 0 0 0 25 0 0 0 17 0 19 0 905965798 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 6 0 0 0
[pid=28114/tid=28131] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28131/stat : 28131 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905965798 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379362713 0 4 0 16800975 18446604447884794816 0 0 -1 2 0 0 0
[pid=28114/tid=28132] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28132/stat : 28132 (java) S 28112 28114 24487 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905965798 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
[pid=28114/tid=28133] ppid=28112 vsize=13627016 CPUtime=0 cores=0,2,4,6
/proc/28114/task/28133/stat : 28133 (java) S 28112 28114 24487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905965809 13954064384 18304 33554432000 1073741824 1073778376 140736732700272 18446744073709551615 251379363328 0 4 0 16800975 18446604447884794816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 13627016
Child status: 30
Real time (s): 2.47871
CPU time (s): 2.90556
CPU user time (s): 2.87056
CPU system time (s): 0.034994
CPU usage (%): 117.22
Max. virtual memory (cumulated for all children) (KiB): 13627016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87056
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20324
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 467
involuntary context switches= 217
runsolver used 0.018997 second user time and 0.036994 second system time
The end