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-3454939-1307187612/watcher-3454939-1307187612 -o /tmp/evaluation-result-3454939-1307187612/solver-3454939-1307187612 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454939-1307187612.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: 1.65 1.20 1.29 3/512 19093
/proc/meminfo: memFree=23007880/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 5016 0 1 0 0 0 0 0 25 0 2 0 908991852 10694979584 4717 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2611079 4730 917 9 0 2602235 0
[pid=19093/tid=19094] ppid=19091 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) R 19091 19093 16455 0 -1 4202560 7929 0 1 0 0 0 0 0 25 0 2 0 908991852 10694979584 8745 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.067911 s]
/proc/loadavg: 1.65 1.20 1.29 3/512 19093
/proc/meminfo: memFree=23007880/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 11864 0 1 0 5 1 0 0 25 0 18 0 908991852 10724442112 11560 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2618272 11560 1754 9 0 2609006 0
[pid=19093/tid=19094] ppid=19091 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) R 19091 19093 16455 0 -1 4202560 10688 0 1 0 4 1 0 0 25 0 18 0 908991852 10724442112 11560 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 47597643983396 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100904 s]
/proc/loadavg: 1.65 1.20 1.29 3/512 19093
/proc/meminfo: memFree=23007880/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10540392 CPUtime=0.1 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 13132 0 1 0 9 1 0 0 25 0 18 0 908991852 10793361408 12813 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2635098 12813 2092 9 0 2625832 0
[pid=19093/tid=19094] ppid=19091 vsize=10540392 CPUtime=0.09 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) R 19091 19093 16455 0 -1 4202560 11214 0 1 0 8 1 0 0 18 0 18 0 908991852 10793361408 12813 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 47597647620916 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540392
[startup+0.30081 s]
/proc/loadavg: 1.65 1.20 1.29 3/512 19093
/proc/meminfo: memFree=23007880/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10549168 CPUtime=0.67 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 17025 0 1 0 65 2 0 0 25 0 22 0 908991852 10802348032 15712 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2637292 15712 2217 9 0 2628026 0
[pid=19093/tid=19094] ppid=19091 vsize=10549168 CPUtime=0.17 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) S 19091 19093 16455 0 -1 4202560 11822 0 1 0 16 1 0 0 19 0 22 0 908991852 10802348032 15712 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10549168
[startup+0.700735 s]
/proc/loadavg: 1.65 1.20 1.29 3/512 19093
/proc/meminfo: memFree=23007880/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10556364 CPUtime=2.27 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 36054 0 1 0 221 6 0 0 25 0 22 0 908991852 10809716736 29625 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2639091 29629 2224 9 0 2629825 0
[pid=19093/tid=19094] ppid=19091 vsize=10556364 CPUtime=0.17 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) S 19091 19093 16455 0 -1 4202560 11822 0 1 0 16 1 0 0 15 0 22 0 908991852 10809716736 29632 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10556364
[startup+1.50164 s]
/proc/loadavg: 1.65 1.20 1.29 5/534 19117
/proc/meminfo: memFree=22826148/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10557432 CPUtime=4.31 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 66666 0 1 0 421 10 0 0 25 0 22 0 908991852 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2639358 56924 2254 9 0 2630092 0
[pid=19093/tid=19094] ppid=19091 vsize=10557432 CPUtime=0.17 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) S 19091 19093 16455 0 -1 4202560 11822 0 1 0 16 1 0 0 15 0 22 0 908991852 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19096] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19096/stat : 19096 (java) S 19091 19093 16455 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19097] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19097/stat : 19097 (java) S 19091 19093 16455 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19098] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19098/stat : 19098 (java) S 19091 19093 16455 0 -1 4202560 471 0 0 0 0 0 0 0 16 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19099] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19099/stat : 19099 (java) S 19091 19093 16455 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19101] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19101/stat : 19101 (java) S 19091 19093 16455 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19102] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19102/stat : 19102 (java) S 19091 19093 16455 0 -1 4202560 439 0 0 0 0 0 0 0 16 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19103] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19103/stat : 19103 (java) S 19091 19093 16455 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19104] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19104/stat : 19104 (java) S 19091 19093 16455 0 -1 4202560 373 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19105] ppid=19091 vsize=10557432 CPUtime=0.03 cores=0,2,4,6
/proc/19093/task/19105/stat : 19105 (java) S 19091 19093 16455 0 -1 4202560 1469 0 0 0 3 0 0 0 16 0 22 0 908991855 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 0 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19106] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19106/stat : 19106 (java) S 19091 19093 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908991855 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19107] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19107/stat : 19107 (java) S 19091 19093 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908991855 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19108] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19108/stat : 19108 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908991857 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427215281 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19109] ppid=19091 vsize=10557432 CPUtime=0.78 cores=0,2,4,6
/proc/19093/task/19109/stat : 19109 (java) S 19091 19093 16455 0 -1 4202560 7989 0 0 0 76 2 0 0 15 0 22 0 908991857 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19110] ppid=19091 vsize=10557432 CPUtime=0.74 cores=0,2,4,6
/proc/19093/task/19110/stat : 19110 (java) S 19091 19093 16455 0 -1 4202560 8242 0 0 0 74 0 0 0 23 0 22 0 908991857 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19112] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19112/stat : 19112 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908991857 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19113] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19113/stat : 19113 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908991857 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19114] ppid=19091 vsize=10557432 CPUtime=1.26 cores=0,2,4,6
/proc/19093/task/19114/stat : 19114 (java) R 19091 19093 16455 0 -1 4202560 706 0 0 0 126 0 0 0 24 0 22 0 908991870 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 46912505554120 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19093/tid=19115] ppid=19091 vsize=10557432 CPUtime=1.26 cores=0,2,4,6
/proc/19093/task/19115/stat : 19115 (java) R 19091 19093 16455 0 -1 4202560 33446 0 0 0 122 4 0 0 25 0 22 0 908991870 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 46912505650846 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19093/tid=19116] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19116/stat : 19116 (java) S 19091 19093 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908991871 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19117] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19117/stat : 19117 (java) S 19091 19093 16455 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 908991871 10810810368 56924 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10557432
Solver just ended. Dumping a history of the last processes samples
[startup+1.90157 s]
/proc/loadavg: 1.65 1.20 1.29 5/534 19117
/proc/meminfo: memFree=22826148/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10557432 CPUtime=5.09 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 80063 0 1 0 497 12 0 0 25 0 22 0 908991852 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2639358 70319 2254 9 0 2630092 0
[pid=19093/tid=19094] ppid=19091 vsize=10557432 CPUtime=0.17 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) S 19091 19093 16455 0 -1 4202560 11822 0 1 0 16 1 0 0 15 0 22 0 908991852 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19096] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19096/stat : 19096 (java) S 19091 19093 16455 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19097] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19097/stat : 19097 (java) S 19091 19093 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19098] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19098/stat : 19098 (java) S 19091 19093 16455 0 -1 4202560 510 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19099] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19099/stat : 19099 (java) S 19091 19093 16455 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19101] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19101/stat : 19101 (java) S 19091 19093 16455 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19102] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19102/stat : 19102 (java) S 19091 19093 16455 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19103] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19103/stat : 19103 (java) S 19091 19093 16455 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19104] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19104/stat : 19104 (java) S 19091 19093 16455 0 -1 4202560 373 0 0 0 0 0 0 0 15 0 22 0 908991854 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19105] ppid=19091 vsize=10557432 CPUtime=0.05 cores=0,2,4,6
/proc/19093/task/19105/stat : 19105 (java) S 19091 19093 16455 0 -1 4202560 1920 0 0 0 5 0 0 0 16 0 22 0 908991855 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 0 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19106] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19106/stat : 19106 (java) S 19091 19093 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 908991855 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19107] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19107/stat : 19107 (java) S 19091 19093 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908991855 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19108] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19108/stat : 19108 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908991857 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427215281 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19109] ppid=19091 vsize=10557432 CPUtime=0.78 cores=0,2,4,6
/proc/19093/task/19109/stat : 19109 (java) S 19091 19093 16455 0 -1 4202560 7989 0 0 0 76 2 0 0 15 0 22 0 908991857 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19110] ppid=19091 vsize=10557432 CPUtime=0.74 cores=0,2,4,6
/proc/19093/task/19110/stat : 19110 (java) S 19091 19093 16455 0 -1 4202560 8245 0 0 0 74 0 0 0 17 0 22 0 908991857 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19112] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19112/stat : 19112 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 908991857 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19113] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19113/stat : 19113 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908991857 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19114] ppid=19091 vsize=10557432 CPUtime=1.64 cores=0,2,4,6
/proc/19093/task/19114/stat : 19114 (java) R 19091 19093 16455 0 -1 4202560 707 0 0 0 164 0 0 0 25 0 22 0 908991870 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 46912505557746 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19093/tid=19115] ppid=19091 vsize=10557432 CPUtime=1.64 cores=0,2,4,6
/proc/19093/task/19115/stat : 19115 (java) R 19091 19093 16455 0 -1 4202560 46167 0 0 0 158 6 0 0 25 0 22 0 908991870 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 46912505649546 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19093/tid=19116] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19116/stat : 19116 (java) S 19091 19093 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 908991871 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19117] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19117/stat : 19117 (java) S 19091 19093 16455 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 908991871 10810810368 70319 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 10557432
[startup+2.10154 s]
/proc/loadavg: 1.65 1.20 1.29 2/531 19117
/proc/meminfo: memFree=22733048/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10557432 CPUtime=5.28 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 80064 0 1 0 516 12 0 0 25 0 19 0 908991852 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2639358 70320 2255 9 0 2630092 0
[pid=19093/tid=19094] ppid=19091 vsize=10557432 CPUtime=0.17 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) S 19091 19093 16455 0 -1 4202560 11822 0 1 0 16 1 0 0 15 0 19 0 908991852 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19096] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19096/stat : 19096 (java) S 19091 19093 16455 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19097] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19097/stat : 19097 (java) S 19091 19093 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19098] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19098/stat : 19098 (java) S 19091 19093 16455 0 -1 4202560 510 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19099] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19099/stat : 19099 (java) S 19091 19093 16455 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19101] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19101/stat : 19101 (java) S 19091 19093 16455 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19102] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19102/stat : 19102 (java) S 19091 19093 16455 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19103] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19103/stat : 19103 (java) S 19091 19093 16455 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19104] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19104/stat : 19104 (java) S 19091 19093 16455 0 -1 4202560 373 0 0 0 0 0 0 0 15 0 19 0 908991854 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19105] ppid=19091 vsize=10557432 CPUtime=0.05 cores=0,2,4,6
/proc/19093/task/19105/stat : 19105 (java) S 19091 19093 16455 0 -1 4202560 1920 0 0 0 5 0 0 0 16 0 19 0 908991855 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 0 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19106] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19106/stat : 19106 (java) S 19091 19093 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 908991855 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19107] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19107/stat : 19107 (java) S 19091 19093 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 908991855 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19108] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19108/stat : 19108 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 908991857 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427215281 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19109] ppid=19091 vsize=10557432 CPUtime=0.78 cores=0,2,4,6
/proc/19093/task/19109/stat : 19109 (java) S 19091 19093 16455 0 -1 4202560 7989 0 0 0 76 2 0 0 15 0 19 0 908991857 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19110] ppid=19091 vsize=10557432 CPUtime=0.74 cores=0,2,4,6
/proc/19093/task/19110/stat : 19110 (java) S 19091 19093 16455 0 -1 4202560 8245 0 0 0 74 0 0 0 17 0 19 0 908991857 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19112] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19112/stat : 19112 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 908991857 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19113] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19113/stat : 19113 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 908991857 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19116] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19116/stat : 19116 (java) S 19091 19093 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 908991871 10810810368 70320 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 10557432
[startup+2.22044 s]
/proc/loadavg: 1.65 1.20 1.29 2/531 19117
/proc/meminfo: memFree=22733048/32950928 swapFree=58671692/67111528
[pid=19093] ppid=19091 vsize=10557432 CPUtime=5.28 cores=0,2,4,6
/proc/19093/stat : 19093 (java) S 19091 19093 16455 0 -1 4202496 80072 0 1 0 516 12 0 0 25 0 20 0 908991852 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19093/statm: 2639358 70328 2255 9 0 2630092 0
[pid=19093/tid=19094] ppid=19091 vsize=10557432 CPUtime=0.17 cores=0,2,4,6
/proc/19093/task/19094/stat : 19094 (java) S 19091 19093 16455 0 -1 4202560 11825 0 1 0 16 1 0 0 16 0 20 0 908991852 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19096] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19096/stat : 19096 (java) S 19091 19093 16455 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19097] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19097/stat : 19097 (java) S 19091 19093 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19098] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19098/stat : 19098 (java) S 19091 19093 16455 0 -1 4202560 510 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 0 0 0 0
[pid=19093/tid=19099] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19099/stat : 19099 (java) S 19091 19093 16455 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19101] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19101/stat : 19101 (java) S 19091 19093 16455 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19102] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19102/stat : 19102 (java) S 19091 19093 16455 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19103] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19103/stat : 19103 (java) S 19091 19093 16455 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19104] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19104/stat : 19104 (java) S 19091 19093 16455 0 -1 4202560 373 0 0 0 0 0 0 0 15 0 20 0 908991854 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19105] ppid=19091 vsize=10557432 CPUtime=0.05 cores=0,2,4,6
/proc/19093/task/19105/stat : 19105 (java) S 19091 19093 16455 0 -1 4202560 1920 0 0 0 5 0 0 0 16 0 20 0 908991855 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 0 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19106] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19106/stat : 19106 (java) S 19091 19093 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 908991855 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19107] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19107/stat : 19107 (java) S 19091 19093 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 908991855 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19108] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19108/stat : 19108 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 908991857 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427215281 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19109] ppid=19091 vsize=10557432 CPUtime=0.78 cores=0,2,4,6
/proc/19093/task/19109/stat : 19109 (java) S 19091 19093 16455 0 -1 4202560 7989 0 0 0 76 2 0 0 15 0 20 0 908991857 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
[pid=19093/tid=19110] ppid=19091 vsize=10557432 CPUtime=0.74 cores=0,2,4,6
/proc/19093/task/19110/stat : 19110 (java) S 19091 19093 16455 0 -1 4202560 8245 0 0 0 74 0 0 0 17 0 20 0 908991857 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19112] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19112/stat : 19112 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 908991857 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427207577 0 4 0 16800975 18446604442867259328 0 0 -1 2 0 0 0
[pid=19093/tid=19113] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19113/stat : 19113 (java) S 19091 19093 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 908991857 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 6 0 0 0
[pid=19093/tid=19116] ppid=19091 vsize=10557432 CPUtime=0 cores=0,2,4,6
/proc/19093/task/19116/stat : 19116 (java) S 19091 19093 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 908991871 10810810368 70328 33554432000 1073741824 1073778376 140733768138368 18446744073709551615 256427208192 0 4 0 16800975 18446604442867259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 10557432
Child status: 10
Real time (s): 2.24507
CPU time (s): 5.32119
CPU user time (s): 5.18121
CPU system time (s): 0.139978
CPU usage (%): 237.017
Max. virtual memory (cumulated for all children) (KiB): 10561884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.18121
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80082
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= 390
involuntary context switches= 104
runsolver used 0.016997 second user time and 0.041993 second system time
The end