runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3732810-1338686485/watcher-3732810-1338686485 -o /tmp/evaluation-result-3732810-1338686485/solver-3732810-1338686485 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732810-1338686485.opb
running on 4 cores: 1,3,5,7
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: 3.13 3.35 3.41 4/197 23205
/proc/meminfo: memFree=27241684/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23205/stat : 23205 (java) R 23203 23205 20030 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 1 0 334774553 23793664 790 33554432000 1073741824 1073778376 140736111502960 140736111492024 140589818131392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 5809 807 601 9 0 128 0
[startup+0.0184321 s]
/proc/loadavg: 3.13 3.35 3.41 4/197 23205
/proc/meminfo: memFree=27241684/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=10510056 CPUtime=0.01 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 2570 0 1 0 0 1 0 0 20 0 2 0 334774553 10762297344 5317 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2627514 5317 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056
[startup+0.100193 s]
/proc/loadavg: 3.13 3.35 3.41 4/197 23205
/proc/meminfo: memFree=27241684/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 5263 0 1 0 8 2 0 0 20 0 18 0 334774553 11864465408 13605 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2896598 13605 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300238 s]
/proc/loadavg: 3.13 3.35 3.41 4/197 23205
/proc/meminfo: memFree=27241684/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 5484 0 1 0 13 2 0 0 20 0 19 0 334774553 12137111552 15304 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2963162 15304 2164 9 0 2953849 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
[startup+0.700206 s]
/proc/loadavg: 3.13 3.35 3.41 4/197 23205
/proc/meminfo: memFree=27241684/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 5550 0 1 0 13 2 0 0 20 0 19 0 334774553 12137111552 16369 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2963162 16369 2165 9 0 2953849 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
[startup+1.50061 s]
/proc/loadavg: 3.13 3.35 3.41 3/216 23230
/proc/meminfo: memFree=27184572/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 5588 0 1 0 13 2 0 0 20 0 19 0 334774553 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2963162 17417 2165 9 0 2953849 0
[pid=23205/tid=23207] ppid=23203 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23203 23205 20030 0 -1 4202560 3365 0 1 0 8 3 0 0 20 0 19 0 334774554 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589811602584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589787007400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23209] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589785954856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23210] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589784901800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23211] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589783849256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23212] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589782797224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23213] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589643648040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23214] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589642594984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23215] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23203 23205 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589641542440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23216] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23203 23205 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334774557 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589629131112 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23217] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23203 23205 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334774558 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589628077432 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23218] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23203 23205 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334774558 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589627024264 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23219] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589625973008 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23220] ppid=23203 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23203 23205 20030 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 19 0 334774560 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589624920888 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23221] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23203 23205 20030 0 -1 4202560 495 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589623868344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23222] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589622815480 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23223] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 17417 33554432000 1073741824 1073778376 140736111502960 140589621763144 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90066 s]
/proc/loadavg: 3.13 3.35 3.41 3/216 23230
/proc/meminfo: memFree=27184572/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 5597 0 1 0 13 2 0 0 20 0 19 0 334774553 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2963162 18441 2165 9 0 2953849 0
[pid=23205/tid=23207] ppid=23203 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23203 23205 20030 0 -1 4202560 3365 0 1 0 8 3 0 0 20 0 19 0 334774554 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589811602584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589787007400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23209] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589785954856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23210] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589784901800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23211] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589783849256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23212] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589782797224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23213] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589643648040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23214] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589642594984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23215] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23203 23205 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589641542440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23216] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23203 23205 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334774557 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589629131112 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23217] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23203 23205 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334774558 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589628077432 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23218] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23203 23205 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334774558 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589627024264 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23219] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589625973008 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23220] ppid=23203 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23203 23205 20030 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589624920888 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23221] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23203 23205 20030 0 -1 4202560 495 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589623868344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23222] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589622815480 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23223] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589621763144 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
[startup+2.10061 s]
/proc/loadavg: 3.13 3.35 3.41 3/216 23236
/proc/meminfo: memFree=27175636/32873844 swapFree=7372/7372
[pid=23205] ppid=23203 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23203 23205 20030 0 -1 4202496 5597 0 1 0 13 2 0 0 20 0 19 0 334774553 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140736111494096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 2963162 18441 2165 9 0 2953849 0
[pid=23205/tid=23207] ppid=23203 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23203 23205 20030 0 -1 4202560 3365 0 1 0 8 3 0 0 20 0 19 0 334774554 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589811602584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589787007400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23209] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589785954856 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23210] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589784901800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23211] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589783849256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23212] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589782797224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23213] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589643648040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23214] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589642594984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23215] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23203 23205 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334774556 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589641542440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23216] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23203 23205 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334774557 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589629131112 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23217] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23203 23205 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334774558 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589628077432 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23218] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23203 23205 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334774558 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589627024264 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23219] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589625973008 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23220] ppid=23203 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23203 23205 20030 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589624920888 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23221] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23203 23205 20030 0 -1 4202560 495 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589623868344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23222] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589622815480 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23223] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23203 23205 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334774560 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589621763144 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23233] ppid=23203 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23233/stat : 23233 (java) S 23203 23205 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334774667 12137111552 18441 33554432000 1073741824 1073778376 140736111502960 140589617550504 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 2.14309
CPU time (s): 0.163974
CPU user time (s): 0.111982
CPU system time (s): 0.051992
CPU usage (%): 7.65127
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.111982
system time used= 0.051992
maximum resident set size= 75840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5610
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258
involuntary context switches= 27
runsolver used 0.002999 second user time and 0.017997 second system time
The end