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-3739858-1338733996/watcher-3739858-1338733996 -o /tmp/evaluation-result-3739858-1338733996/solver-3739858-1338733996 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739858-1338733996.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.30 2.05 2.02 3/194 7189
/proc/meminfo: memFree=29691224/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (java) R 7187 7189 30888 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 339528168 23793664 711 33554432000 1073741824 1073778376 140735238217376 140735238206440 249640826960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 5809 712 526 9 0 128 0
[startup+0.0184741 s]
/proc/loadavg: 2.30 2.05 2.02 3/194 7189
/proc/meminfo: memFree=29691224/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=2414972 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 3375 0 1 0 0 0 0 0 20 0 10 0 339528168 2472931328 3562 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 603743 3570 1256 9 0 594444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2414972
[startup+0.100275 s]
/proc/loadavg: 2.30 2.05 2.02 3/194 7189
/proc/meminfo: memFree=29691224/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 4978 0 1 0 9 1 0 0 20 0 18 0 339528168 3028844544 6686 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 739464 6686 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300156 s]
/proc/loadavg: 2.30 2.05 2.02 3/194 7189
/proc/meminfo: memFree=29691224/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 6472 0 1 0 45 1 0 0 20 0 18 0 339528168 3028844544 9377 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 739464 9377 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700173 s]
/proc/loadavg: 2.30 2.05 2.02 3/194 7189
/proc/meminfo: memFree=29691224/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=2957856 CPUtime=1.43 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 11864 0 1 0 140 3 0 0 20 0 18 0 339528168 3028844544 39112 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 739464 39140 2264 9 0 729885 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 2957856
[startup+1.50073 s]
/proc/loadavg: 2.30 2.05 2.02 3/213 7208
/proc/meminfo: memFree=29533452/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=3024420 CPUtime=2.69 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 15372 0 1 0 265 4 0 0 20 0 19 0 339528168 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 756105 49215 2275 9 0 746526 0
[pid=7189/tid=7191] ppid=7187 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/7189/task/7191/stat : 7191 (java) R 7187 7189 30888 0 -1 4202560 3153 0 1 0 146 2 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059689996440 140059563397141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7192] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7192/stat : 7192 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059555924392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7193] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7193/stat : 7193 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059487496744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7194] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7194/stat : 7194 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059486443688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7195] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7195/stat : 7195 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059485391144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7196] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7196/stat : 7196 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059484339112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7197] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7197/stat : 7197 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059483286568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7198] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7198/stat : 7198 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059482233512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7199] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7199/stat : 7199 (java) S 7187 7189 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059481180968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7200] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7200/stat : 7200 (java) S 7187 7189 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059468982632 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7201] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7201/stat : 7201 (java) S 7187 7189 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059467928952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7202] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7202/stat : 7202 (java) S 7187 7189 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059466875784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7203] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7203/stat : 7203 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059465824528 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7204] ppid=7187 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/7189/task/7204/stat : 7204 (java) S 7187 7189 30888 0 -1 4202560 4676 0 0 0 57 0 0 0 20 0 19 0 339528173 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059464772408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7205] ppid=7187 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/7189/task/7205/stat : 7205 (java) S 7187 7189 30888 0 -1 4202560 6342 0 0 0 60 2 0 0 20 0 19 0 339528173 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059463719864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7206] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7206/stat : 7206 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059462667000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7207] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7207/stat : 7207 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059461614664 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7208] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7208/stat : 7208 (java) S 7187 7189 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339528241 3097006080 49215 33554432000 1073741824 1073778376 140735238217376 140059459413032 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+1.90073 s]
/proc/loadavg: 2.30 2.05 2.02 3/213 7208
/proc/meminfo: memFree=29533452/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=3024420 CPUtime=3.11 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 15388 0 1 0 307 4 0 0 20 0 19 0 339528168 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 756105 54851 2276 9 0 746526 0
[pid=7189/tid=7191] ppid=7187 vsize=3024420 CPUtime=1.87 cores=0,2,4,6
/proc/7189/task/7191/stat : 7191 (java) R 7187 7189 30888 0 -1 4202560 3165 0 1 0 185 2 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059689996920 140059563356622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7192] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7192/stat : 7192 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059555924392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7193] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7193/stat : 7193 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059487496744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7194] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7194/stat : 7194 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059486443688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7195] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7195/stat : 7195 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059485391144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7196] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7196/stat : 7196 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059484339112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7197] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7197/stat : 7197 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059483286568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7198] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7198/stat : 7198 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059482233512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7199] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7199/stat : 7199 (java) S 7187 7189 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059481180968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7200] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7200/stat : 7200 (java) S 7187 7189 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059468982632 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7201] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7201/stat : 7201 (java) S 7187 7189 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059467928952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7202] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7202/stat : 7202 (java) S 7187 7189 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059466875784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7203] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7203/stat : 7203 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059465824528 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7204] ppid=7187 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/7189/task/7204/stat : 7204 (java) S 7187 7189 30888 0 -1 4202560 4678 0 0 0 57 0 0 0 20 0 19 0 339528173 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059464772408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7205] ppid=7187 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/7189/task/7205/stat : 7205 (java) S 7187 7189 30888 0 -1 4202560 6343 0 0 0 61 2 0 0 20 0 19 0 339528173 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059463719864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7206] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7206/stat : 7206 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059462667000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7207] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7207/stat : 7207 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059461614664 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7208] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7208/stat : 7208 (java) S 7187 7189 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339528241 3097006080 54851 33554432000 1073741824 1073778376 140735238217376 140059459413032 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 3024420
[startup+2.00073 s]
/proc/loadavg: 2.30 2.05 2.02 3/213 7208
/proc/meminfo: memFree=29533452/32873844 swapFree=8656/8656
[pid=7189] ppid=7187 vsize=3024420 CPUtime=3.21 cores=0,2,4,6
/proc/7189/stat : 7189 (java) S 7187 7189 30888 0 -1 4202496 15391 0 1 0 316 5 0 0 20 0 19 0 339528168 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140735238208512 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7189/statm: 756105 56387 2276 9 0 746526 0
[pid=7189/tid=7191] ppid=7187 vsize=3024420 CPUtime=1.97 cores=0,2,4,6
/proc/7189/task/7191/stat : 7191 (java) R 7187 7189 30888 0 -1 4202560 3168 0 1 0 195 2 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059689996920 140059563385598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7192] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7192/stat : 7192 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059555924392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7193] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7193/stat : 7193 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059487496744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7194] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7194/stat : 7194 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059486443688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7195] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7195/stat : 7195 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059485391144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7196] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7196/stat : 7196 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059484339112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7197] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7197/stat : 7197 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059483286568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7189/tid=7198] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7198/stat : 7198 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059482233512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7199] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7199/stat : 7199 (java) S 7187 7189 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339528169 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059481180968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7200] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7200/stat : 7200 (java) S 7187 7189 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059468982632 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7201] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7201/stat : 7201 (java) S 7187 7189 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059467928952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7202] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7202/stat : 7202 (java) S 7187 7189 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339528171 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059466875784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7203] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7203/stat : 7203 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059465824528 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7204] ppid=7187 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/7189/task/7204/stat : 7204 (java) S 7187 7189 30888 0 -1 4202560 4678 0 0 0 57 0 0 0 20 0 19 0 339528173 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059464772408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7189/tid=7205] ppid=7187 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/7189/task/7205/stat : 7205 (java) S 7187 7189 30888 0 -1 4202560 6343 0 0 0 61 2 0 0 20 0 19 0 339528173 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059463719864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7206] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7206/stat : 7206 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059462667000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7189/tid=7207] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7207/stat : 7207 (java) S 7187 7189 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339528173 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059461614664 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7189/tid=7208] ppid=7187 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7208/stat : 7208 (java) S 7187 7189 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339528241 3097006080 56387 33554432000 1073741824 1073778376 140735238217376 140059459413032 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 3024420
Child status: 20
Real time (s): 2.04942
CPU time (s): 3.2935
CPU user time (s): 3.22151
CPU system time (s): 0.071989
CPU usage (%): 160.704
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22151
system time used= 0.071989
maximum resident set size= 229680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15555
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= 298
involuntary context switches= 23
runsolver used 0.003999 second user time and 0.023996 second system time
The end