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-3455629-1307196658/watcher-3455629-1307196658 -o /tmp/evaluation-result-3455629-1307196658/solver-3455629-1307196658 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455629-1307196658.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.28 3.18 3.54 3/575 15585
/proc/meminfo: memFree=21771612/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 3385 0 1 0 0 0 0 0 25 0 2 0 831262899 10694979584 3086 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2611079 3100 917 9 0 2602235 0
[pid=15585/tid=15586] ppid=15583 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) R 15583 15585 14981 0 -1 4202560 6463 0 1 0 0 0 0 0 25 0 2 0 831262900 10694979584 7278 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.096721 s]
/proc/loadavg: 2.28 3.18 3.54 3/575 15585
/proc/meminfo: memFree=21771612/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10540004 CPUtime=0.09 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 12989 0 1 0 8 1 0 0 25 0 18 0 831262899 10792964096 12685 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2635001 12685 2092 9 0 2625735 0
[pid=15585/tid=15586] ppid=15583 vsize=10540004 CPUtime=0.08 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) R 15583 15585 14981 0 -1 4202560 11047 0 1 0 7 1 0 0 25 0 18 0 831262900 10792964096 12685 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488521675 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540004
[startup+0.100719 s]
/proc/loadavg: 2.28 3.18 3.54 3/575 15585
/proc/meminfo: memFree=21771612/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10540004 CPUtime=0.1 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 13061 0 1 0 9 1 0 0 25 0 18 0 831262899 10792964096 12757 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2635001 12757 2092 9 0 2625735 0
[pid=15585/tid=15586] ppid=15583 vsize=10540004 CPUtime=0.08 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) R 15583 15585 14981 0 -1 4202560 11120 0 1 0 7 1 0 0 25 0 18 0 831262900 10792964096 12758 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 47760793541459 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) 10540004
[startup+0.300621 s]
/proc/loadavg: 2.28 3.18 3.54 3/575 15585
/proc/meminfo: memFree=21771612/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10541000 CPUtime=0.51 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 16817 0 1 0 49 2 0 0 25 0 18 0 831262899 10793984000 15647 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2635250 15647 2201 9 0 2625984 0
[pid=15585/tid=15586] ppid=15583 vsize=10541000 CPUtime=0.27 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) R 15583 15585 14981 0 -1 4202560 13435 0 1 0 26 1 0 0 25 0 18 0 831262900 10793984000 15647 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 46912505212212 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541000
[startup+0.705605 s]
/proc/loadavg: 2.28 3.18 3.54 3/575 15585
/proc/meminfo: memFree=21771612/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10549580 CPUtime=1.61 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 37581 0 1 0 154 7 0 0 25 0 22 0 831262899 10802769920 35354 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2637395 35354 2238 9 0 2628129 0
[pid=15585/tid=15586] ppid=15583 vsize=10549580 CPUtime=0.5 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 29611 0 1 0 45 5 0 0 25 0 22 0 831262900 10802769920 35354 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10549580
[startup+1.50148 s]
/proc/loadavg: 2.33 3.18 3.54 3/594 15607
/proc/meminfo: memFree=21636060/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10550632 CPUtime=2.17 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 40183 0 1 0 210 7 0 0 25 0 19 0 831262899 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2637658 37605 2242 9 0 2628392 0
[pid=15585/tid=15586] ppid=15583 vsize=10550632 CPUtime=0.53 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 29886 0 1 0 48 5 0 0 22 0 19 0 831262900 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 4 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 831262903 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 4 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831262903 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831262903 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488518577 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10550632 CPUtime=0.43 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2344 0 0 0 42 1 0 0 22 0 19 0 831262905 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15601] ppid=15583 vsize=10550632 CPUtime=0.52 cores=0,2,4,6
/proc/15585/task/15601/stat : 15601 (java) S 15583 15585 14981 0 -1 4202560 3656 0 0 0 52 0 0 0 15 0 19 0 831262905 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15602] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15602/stat : 15602 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15603] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15603/stat : 15603 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831262905 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 4 0 0 0
[pid=15585/tid=15607] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15607/stat : 15607 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831262953 10803847168 37605 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10550632
[startup+3.1012 s]
/proc/loadavg: 2.33 3.18 3.54 7/596 15615
/proc/meminfo: memFree=21622896/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10550632 CPUtime=2.69 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 42475 0 1 0 261 8 0 0 25 0 19 0 831262899 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2637658 39895 2242 9 0 2628392 0
[pid=15585/tid=15586] ppid=15583 vsize=10550632 CPUtime=0.56 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 30638 0 1 0 51 5 0 0 16 0 19 0 831262900 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831262903 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831262903 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831262903 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488518577 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10550632 CPUtime=0.53 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2353 0 0 0 52 1 0 0 15 0 19 0 831262905 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15601] ppid=15583 vsize=10550632 CPUtime=0.66 cores=0,2,4,6
/proc/15585/task/15601/stat : 15601 (java) S 15583 15585 14981 0 -1 4202560 3675 0 0 0 66 0 0 0 15 0 19 0 831262905 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15602] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15602/stat : 15602 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15603] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15603/stat : 15603 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831262905 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15607] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15607/stat : 15607 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831262953 10803847168 39895 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10550632
Solver just ended. Dumping a history of the last processes samples
[startup+4.70085 s]
/proc/loadavg: 2.33 3.18 3.54 3/594 15628
/proc/meminfo: memFree=21612856/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10550632 CPUtime=2.84 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 44257 0 1 0 276 8 0 0 25 0 19 0 831262899 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2637658 41670 2243 9 0 2628392 0
[pid=15585/tid=15586] ppid=15583 vsize=10550632 CPUtime=0.59 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 31634 0 1 0 54 5 0 0 16 0 19 0 831262900 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831262903 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831262903 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831262903 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488518577 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10550632 CPUtime=0.55 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2353 0 0 0 54 1 0 0 15 0 19 0 831262905 10803847168 41670 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 31883 0 1 0 55 5 0 0 17 0 19 0 831262900 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831262903 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831262903 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831262903 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488518577 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10549716 CPUtime=0.56 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2353 0 0 0 55 1 0 0 15 0 19 0 831262905 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15601] ppid=15583 vsize=10549716 CPUtime=0.69 cores=0,2,4,6
/proc/15585/task/15601/stat : 15601 (java) S 15583 15585 14981 0 -1 4202560 3675 0 0 0 69 0 0 0 15 0 19 0 831262905 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15602] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15602/stat : 15602 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15603] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15603/stat : 15603 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831262905 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15607] ppid=15583 vsize=10549716 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15607/stat : 15607 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831262953 10802909184 41982 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 10549716
[startup+5.90166 s]
/proc/loadavg: 2.31 3.16 3.53 3/594 15635
/proc/meminfo: memFree=21609260/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10553656 CPUtime=3.17 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 47588 0 1 0 308 9 0 0 25 0 19 0 831262899 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2638414 43626 2243 9 0 2629148 0
[pid=15585/tid=15586] ppid=15583 vsize=10553656 CPUtime=0.6 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 32132 0 1 0 55 5 0 0 16 0 19 0 831262900 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 4 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831262903 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831262903 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831262903 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488518577 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10553656 CPUtime=0.67 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2878 0 0 0 66 1 0 0 16 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15601] ppid=15583 vsize=10553656 CPUtime=0.79 cores=0,2,4,6
/proc/15585/task/15601/stat : 15601 (java) S 15583 15585 14981 0 -1 4202560 5372 0 0 0 79 0 0 0 15 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15602] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15602/stat : 15602 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15603] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15603/stat : 15603 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15607] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15607/stat : 15607 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831262953 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 10553656
[startup+6.10164 s]
/proc/loadavg: 2.31 3.16 3.53 3/594 15635
/proc/meminfo: memFree=21609260/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10553656 CPUtime=3.17 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 47588 0 1 0 308 9 0 0 25 0 19 0 831262899 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2638414 43626 2243 9 0 2629148 0
[pid=15585/tid=15586] ppid=15583 vsize=10553656 CPUtime=0.6 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 32132 0 1 0 55 5 0 0 16 0 19 0 831262900 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 4 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262902 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831262903 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831262903 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831262903 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488518577 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10553656 CPUtime=0.67 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2878 0 0 0 66 1 0 0 16 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15601] ppid=15583 vsize=10553656 CPUtime=0.79 cores=0,2,4,6
/proc/15585/task/15601/stat : 15601 (java) S 15583 15585 14981 0 -1 4202560 5372 0 0 0 79 0 0 0 15 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15602] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15602/stat : 15602 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15603] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15603/stat : 15603 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831262905 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15607] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15607/stat : 15607 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831262953 10806943744 43626 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 10553656
[startup+6.20159 s]
/proc/loadavg: 2.31 3.16 3.53 3/594 15635
/proc/meminfo: memFree=21609260/32950928 swapFree=67056580/67111528
[pid=15585] ppid=15583 vsize=10553656 CPUtime=3.22 cores=0,2,4,6
/proc/15585/stat : 15585 (java) S 15583 15585 14981 0 -1 4202496 47688 0 1 0 313 9 0 0 25 0 18 0 831262899 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15585/statm: 2638414 43725 2245 9 0 2629148 0
[pid=15585/tid=15586] ppid=15583 vsize=10553656 CPUtime=0.6 cores=0,2,4,6
/proc/15585/task/15586/stat : 15586 (java) S 15583 15585 14981 0 -1 4202560 32135 0 1 0 55 5 0 0 16 0 18 0 831262900 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 4 0 0 0
[pid=15585/tid=15588] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15588/stat : 15588 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15589] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15589/stat : 15589 (java) S 15583 15585 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15590] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15590/stat : 15590 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15591] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15591/stat : 15591 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15592] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15592/stat : 15592 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15593] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15593/stat : 15593 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15594] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15594/stat : 15594 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15595] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15595/stat : 15595 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262902 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15596] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15596/stat : 15596 (java) S 15583 15585 14981 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 831262903 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 0 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15597] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15597/stat : 15597 (java) S 15583 15585 14981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831262903 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15598] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15598/stat : 15598 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831262903 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15599] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15599/stat : 15599 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 831262905 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15600] ppid=15583 vsize=10553656 CPUtime=0.69 cores=0,2,4,6
/proc/15585/task/15600/stat : 15600 (java) S 15583 15585 14981 0 -1 4202560 2879 0 0 0 68 1 0 0 15 0 18 0 831262905 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 0 0 0 0
[pid=15585/tid=15601] ppid=15583 vsize=10553656 CPUtime=0.8 cores=0,2,4,6
/proc/15585/task/15601/stat : 15601 (java) S 15583 15585 14981 0 -1 4202560 5387 0 0 0 80 0 0 0 15 0 18 0 831262905 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 2 0 0 0
[pid=15585/tid=15602] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15602/stat : 15602 (java) S 15583 15585 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831262905 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488510873 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
[pid=15585/tid=15607] ppid=15583 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/15585/task/15607/stat : 15607 (java) S 15583 15585 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 831262953 10806943744 43725 33554432000 1073741824 1073778376 140735040262320 18446744073709551615 239488511488 0 4 0 16800975 18446604446747915328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 10553656
Child status: 30
Real time (s): 6.21639
CPU time (s): 3.23751
CPU user time (s): 3.13752
CPU system time (s): 0.099984
CPU usage (%): 52.0802
Max. virtual memory (cumulated for all children) (KiB): 10553656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.13752
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47688
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= 573
involuntary context switches= 162
runsolver used 0.050992 second user time and 0.069989 second system time
The end