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-3455608-1307196702/watcher-3455608-1307196702 -o /tmp/evaluation-result-3455608-1307196702/solver-3455608-1307196702 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455608-1307196702.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.60 3.14 3.51 3/575 16068
/proc/meminfo: memFree=21184772/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 5748 0 1 0 0 0 0 0 25 0 2 0 831267239 10694979584 5451 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2611079 5463 917 9 0 2602235 0
[pid=16068/tid=16069] ppid=16066 vsize=10445508 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) R 16066 16068 14981 0 -1 4202560 8729 0 1 0 0 0 0 0 25 0 3 0 831267239 10696200192 9545 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239476751345 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10446536 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 831267241 10697252864 9549 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10447564 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 5 0 831267241 10698305536 9554 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10448724 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 6 0 831267241 10699493376 9559 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10450780 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 7 0 831267241 10701598720 9565 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10451808 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 831267241 10702651392 9569 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10452836 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831267241 10703704064 9574 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) R 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831267241 10703900672 9580 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) R 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831267241 10703900672 9594 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0904251 s]
/proc/loadavg: 2.60 3.14 3.51 3/575 16068
/proc/meminfo: memFree=21184772/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10540328 CPUtime=0.09 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 13006 0 1 0 8 1 0 0 25 0 18 0 831267239 10793295872 12684 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2635082 12684 2093 9 0 2625816 0
[pid=16068/tid=16069] ppid=16066 vsize=10540328 CPUtime=0.08 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) R 16066 16068 14981 0 -1 4202560 11047 0 1 0 7 1 0 0 25 0 18 0 831267239 10793295872 12684 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 47688740116406 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12685 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12685 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12685 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12686 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12686 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12686 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12687 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12688 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540328
[startup+0.101446 s]
/proc/loadavg: 2.60 3.14 3.51 3/575 16068
/proc/meminfo: memFree=21184772/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10540328 CPUtime=0.1 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 13174 0 1 0 9 1 0 0 25 0 18 0 831267239 10793295872 12852 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2635082 12852 2093 9 0 2625816 0
[pid=16068/tid=16069] ppid=16066 vsize=10540328 CPUtime=0.09 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) R 16066 16068 14981 0 -1 4202560 11216 0 1 0 8 1 0 0 25 0 18 0 831267239 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 47688742168088 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10540328 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10793295872 12853 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540328
[startup+0.301397 s]
/proc/loadavg: 2.60 3.14 3.51 3/575 16068
/proc/meminfo: memFree=21184772/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10542996 CPUtime=0.5 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 16249 0 1 0 49 1 0 0 25 0 18 0 831267239 10796027904 15633 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2635749 15634 2202 9 0 2626483 0
[pid=16068/tid=16069] ppid=16066 vsize=10542996 CPUtime=0.29 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) R 16066 16068 14981 0 -1 4202560 12994 0 1 0 28 1 0 0 18 0 18 0 831267239 10796027904 15634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 46912505583246 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15635 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15635 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15636 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15636 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15637 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15637 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15638 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10542996 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831267241 10796027904 15638 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542996
[startup+0.701326 s]
/proc/loadavg: 2.60 3.14 3.51 3/575 16068
/proc/meminfo: memFree=21184772/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10560456 CPUtime=1.36 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 25400 0 1 0 133 3 0 0 25 0 19 0 831267239 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2640114 22942 2237 9 0 2630848 0
[pid=16068/tid=16069] ppid=16066 vsize=10560456 CPUtime=0.36 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) S 16066 16068 14981 0 -1 4202560 14850 0 1 0 35 1 0 0 19 0 19 0 831267239 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 22942 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10560456
[startup+1.50119 s]
/proc/loadavg: 2.60 3.14 3.51 3/594 16093
/proc/meminfo: memFree=21100264/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10560456 CPUtime=1.48 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 25679 0 1 0 145 3 0 0 25 0 19 0 831267239 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2640114 23220 2238 9 0 2630848 0
[pid=16068/tid=16069] ppid=16066 vsize=10560456 CPUtime=0.36 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) S 16066 16068 14981 0 -1 4202560 14957 0 1 0 35 1 0 0 16 0 19 0 831267239 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267241 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16079] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16079/stat : 16079 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831267242 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 0 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16080] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16080/stat : 16080 (java) S 16066 16068 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831267242 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16081] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16081/stat : 16081 (java) S 16066 16068 14981 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831267242 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16082] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16082/stat : 16082 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267244 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488518577 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16083] ppid=16066 vsize=10560456 CPUtime=0.43 cores=0,2,4,6
/proc/16068/task/16083/stat : 16083 (java) S 16066 16068 14981 0 -1 4202560 3890 0 0 0 43 0 0 0 15 0 19 0 831267244 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16084] ppid=16066 vsize=10560456 CPUtime=0.43 cores=0,2,4,6
/proc/16068/task/16084/stat : 16084 (java) S 16066 16068 14981 0 -1 4202560 5226 0 0 0 43 0 0 0 15 0 19 0 831267244 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 0 0 0 0
[pid=16068/tid=16085] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16085/stat : 16085 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831267244 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16086] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16086/stat : 16086 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831267245 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16090] ppid=16066 vsize=10560456 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16090/stat : 16090 (java) S 16066 16068 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831267277 10813906944 23220 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10560456
[startup+3.10088 s]
/proc/loadavg: 2.55 3.12 3.50 3/595 16099
/proc/meminfo: memFree=21096412/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10568276 CPUtime=2.19 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 31954 0 1 0 215 4 0 0 25 0 20 0 831267239 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2642069 27634 2238 9 0 2632803 0
[pid=16068/tid=16069] ppid=16066 vsize=10568276 CPUtime=0.37 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) S 16066 16068 14981 0 -1 4202560 15078 0 1 0 36 1 0 0 16 0 20 0 831267239 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 0 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16079] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16079/stat : 16079 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831267242 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 0 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16080] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16080/stat : 16080 (java) S 16066 16068 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831267242 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16081] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16081/stat : 16081 (java) S 16066 16068 14981 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 831267242 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16082] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16082/stat : 16082 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267244 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488518577 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16083] ppid=16066 vsize=10568276 CPUtime=0.67 cores=0,2,4,6
/proc/16068/task/16083/stat : 16083 (java) S 16066 16068 14981 0 -1 4202560 3992 0 0 0 67 0 0 0 15 0 20 0 831267244 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16084] ppid=16066 vsize=10568276 CPUtime=0.73 cores=0,2,4,6
/proc/16068/task/16084/stat : 16084 (java) R 16066 16068 14981 0 -1 4202560 8891 0 0 0 72 1 0 0 16 0 20 0 831267244 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 47688739956161 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16068/tid=16085] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16085/stat : 16085 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267244 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16086] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16086/stat : 16086 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831267245 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16090] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16090/stat : 16090 (java) S 16066 16068 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831267277 10821914624 27634 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10568276
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.32188 s]
/proc/loadavg: 2.55 3.12 3.50 4/595 16105
/proc/meminfo: memFree=21080376/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10568276 CPUtime=2.25 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 31984 0 1 0 221 4 0 0 25 0 20 0 831267239 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2642069 27664 2238 9 0 2632803 0
[pid=16068/tid=16069] ppid=16066 vsize=10568276 CPUtime=0.37 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) S 16066 16068 14981 0 -1 4202560 15078 0 1 0 36 1 0 0 16 0 20 0 831267239 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 0 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16079] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16079/stat : 16079 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831267242 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 0 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16080] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16080/stat : 16080 (java) S 16066 16068 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831267242 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16081] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16081/stat : 16081 (java) S 16066 16068 14981 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 831267242 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16082] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16082/stat : 16082 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488518577 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16083] ppid=16066 vsize=10568276 CPUtime=0.67 cores=0,2,4,6
/proc/16068/task/16083/stat : 16083 (java) S 16066 16068 14981 0 -1 4202560 3992 0 0 0 67 0 0 0 15 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16084] ppid=16066 vsize=10568276 CPUtime=0.79 cores=0,2,4,6
/proc/16068/task/16084/stat : 16084 (java) S 16066 16068 14981 0 -1 4202560 8921 0 0 0 78 1 0 0 16 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 0 0 0 0
[pid=16068/tid=16085] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16085/stat : 16085 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16086] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16086/stat : 16086 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831267245 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16090] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16090/stat : 16090 (java) S 16066 16068 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831267277 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16105] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16105/stat : 16105 (java) S 16066 16068 14981 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 831267530 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10568276
[startup+3.40082 s]
/proc/loadavg: 2.55 3.12 3.50 4/595 16105
/proc/meminfo: memFree=21080376/32950928 swapFree=67056580/67111528
[pid=16068] ppid=16066 vsize=10568276 CPUtime=2.25 cores=0,2,4,6
/proc/16068/stat : 16068 (java) S 16066 16068 14981 0 -1 4202496 31984 0 1 0 221 4 0 0 25 0 20 0 831267239 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16068/statm: 2642069 27664 2238 9 0 2632803 0
[pid=16068/tid=16069] ppid=16066 vsize=10568276 CPUtime=0.37 cores=0,2,4,6
/proc/16068/task/16069/stat : 16069 (java) S 16066 16068 14981 0 -1 4202560 15078 0 1 0 36 1 0 0 16 0 20 0 831267239 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 0 0 0 0
[pid=16068/tid=16070] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16070/stat : 16070 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16071] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16071/stat : 16071 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16072] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16072/stat : 16072 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16073] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16073/stat : 16073 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16074] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16074/stat : 16074 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16075] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16075/stat : 16075 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16076] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16076/stat : 16076 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16077] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16077/stat : 16077 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267241 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 6 0 0 0
[pid=16068/tid=16079] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16079/stat : 16079 (java) S 16066 16068 14981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831267242 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 0 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16080] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16080/stat : 16080 (java) S 16066 16068 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831267242 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16081] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16081/stat : 16081 (java) S 16066 16068 14981 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 831267242 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16082] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16082/stat : 16082 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488518577 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16083] ppid=16066 vsize=10568276 CPUtime=0.67 cores=0,2,4,6
/proc/16068/task/16083/stat : 16083 (java) S 16066 16068 14981 0 -1 4202560 3992 0 0 0 67 0 0 0 15 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
[pid=16068/tid=16084] ppid=16066 vsize=10568276 CPUtime=0.79 cores=0,2,4,6
/proc/16068/task/16084/stat : 16084 (java) S 16066 16068 14981 0 -1 4202560 8921 0 0 0 78 1 0 0 16 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 0 0 0 0
[pid=16068/tid=16085] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16085/stat : 16085 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831267244 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488510873 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16086] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16086/stat : 16086 (java) S 16066 16068 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831267245 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16090] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16090/stat : 16090 (java) S 16066 16068 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831267277 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 2 0 0 0
[pid=16068/tid=16105] ppid=16066 vsize=10568276 CPUtime=0 cores=0,2,4,6
/proc/16068/task/16105/stat : 16105 (java) S 16066 16068 14981 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 831267530 10821914624 27664 33554432000 1073741824 1073778376 140733828156576 18446744073709551615 239488511488 0 4 0 16800975 18446604443430640704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10568276
Child status: 30
Real time (s): 3.42518
CPU time (s): 2.27765
CPU user time (s): 2.22966
CPU system time (s): 0.047992
CPU usage (%): 66.4973
Max. virtual memory (cumulated for all children) (KiB): 10568276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.22966
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32006
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= 353
involuntary context switches= 40
runsolver used 0.027995 second user time and 0.076988 second system time
The end