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-3455753-1307228454/watcher-3455753-1307228454 -o /tmp/evaluation-result-3455753-1307228454/solver-3455753-1307228454 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455753-1307228454.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.00 2.03 2.00 1/559 11440
/proc/meminfo: memFree=30042528/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 6215 0 1 0 0 0 0 0 25 0 2 0 834444160 10694979584 5916 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2611079 5928 917 9 0 2602235 0
[pid=11440/tid=11441] ppid=11438 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 7493 0 1 0 0 0 0 0 25 0 2 0 834444160 10694979584 8310 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.058628 s]
/proc/loadavg: 2.00 2.03 2.00 1/559 11440
/proc/meminfo: memFree=30042528/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 11539 0 1 0 4 0 0 0 25 0 13 0 834444160 10718838784 11235 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2616904 11235 1691 9 0 2607652 0
[pid=11440/tid=11441] ppid=11438 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 10391 0 1 0 4 0 0 0 25 0 13 0 834444160 10718838784 11235 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251814236005 0 2147483391 0 16800971 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100954 s]
/proc/loadavg: 2.00 2.03 2.00 1/559 11440
/proc/meminfo: memFree=30042528/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10540004 CPUtime=0.09 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 13054 0 1 0 9 0 0 0 25 0 18 0 834444160 10792964096 12750 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2635001 12750 2092 9 0 2625735 0
[pid=11440/tid=11441] ppid=11438 vsize=10540004 CPUtime=0.07 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 11189 0 1 0 7 0 0 0 25 0 18 0 834444160 10792964096 12751 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 47392626127619 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.300914 s]
/proc/loadavg: 2.00 2.03 2.00 1/559 11440
/proc/meminfo: memFree=30042528/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10541872 CPUtime=0.46 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 16028 0 1 0 45 1 0 0 25 0 18 0 834444160 10794876928 15363 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2635468 15364 2199 9 0 2626202 0
[pid=11440/tid=11441] ppid=11438 vsize=10541872 CPUtime=0.28 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 13009 0 1 0 27 1 0 0 25 0 18 0 834444160 10794876928 15365 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505545307 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541872
[startup+0.700847 s]
/proc/loadavg: 2.00 2.03 2.00 1/559 11440
/proc/meminfo: memFree=30042528/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10545956 CPUtime=1.42 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 36129 0 1 0 137 5 0 0 25 0 19 0 834444160 10799058944 32852 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2636489 32852 2231 9 0 2627223 0
[pid=11440/tid=11441] ppid=11438 vsize=10545956 CPUtime=0.68 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 28892 0 1 0 64 4 0 0 25 0 19 0 834444160 10799058944 32852 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505175408 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10545956
[startup+1.50071 s]
/proc/loadavg: 2.00 2.03 2.00 6/577 11462
/proc/meminfo: memFree=29843236/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10553820 CPUtime=3.14 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 101788 0 1 0 300 14 0 0 25 0 19 0 834444160 10807111680 93930 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2638455 93934 2239 9 0 2629189 0
[pid=11440/tid=11441] ppid=11438 vsize=10553820 CPUtime=1.47 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 86144 0 1 0 135 12 0 0 18 0 19 0 834444160 10807111680 93936 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505879908 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93939 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93941 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93944 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93947 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93950 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93953 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93956 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11450] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11450/stat : 11450 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 93958 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11451] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11451/stat : 11451 (java) S 11438 11440 10129 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 834444163 10807111680 93961 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11452] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11452/stat : 11452 (java) S 11438 11440 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834444163 10807111680 93965 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11453] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11453/stat : 11453 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444163 10807111680 93968 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11454] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11454/stat : 11454 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10807111680 93970 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11455] ppid=11438 vsize=10553820 CPUtime=0.78 cores=0,2,4,6
/proc/11440/task/11455/stat : 11455 (java) S 11438 11440 10129 0 -1 4202560 5810 0 0 0 78 0 0 0 23 0 19 0 834444166 10807111680 93973 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11456] ppid=11438 vsize=10553820 CPUtime=0.86 cores=0,2,4,6
/proc/11440/task/11456/stat : 11456 (java) S 11438 11440 10129 0 -1 4202560 8679 0 0 0 85 1 0 0 24 0 19 0 834444166 10807111680 93976 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11457] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11457/stat : 11457 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10807111680 93981 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11458] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11458/stat : 11458 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834444166 10807111680 93985 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444213 10807111680 93987 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 10553820
[startup+3.10144 s]
/proc/loadavg: 2.00 2.03 2.00 5/598 11505
/proc/meminfo: memFree=29385604/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10553820 CPUtime=4.9 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 237240 0 1 0 460 30 0 0 25 0 19 0 834444160 10807111680 227734 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2638455 227736 2240 9 0 2629189 0
[pid=11440/tid=11441] ppid=11438 vsize=10553820 CPUtime=3.08 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 219935 0 1 0 280 28 0 0 18 0 19 0 834444160 10807111680 227742 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912506254290 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227744 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227745 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227747 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227749 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227753 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227757 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227759 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11450] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11450/stat : 11450 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10807111680 227761 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11451] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11451/stat : 11451 (java) S 11438 11440 10129 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834444163 10807111680 227764 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11452] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11452/stat : 11452 (java) S 11438 11440 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834444163 10807111680 227766 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11453] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11453/stat : 11453 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444163 10807111680 227768 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11454] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11454/stat : 11454 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10807111680 227769 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11455] ppid=11438 vsize=10553820 CPUtime=0.8 cores=0,2,4,6
/proc/11440/task/11455/stat : 11455 (java) S 11438 11440 10129 0 -1 4202560 5813 0 0 0 80 0 0 0 15 0 19 0 834444166 10807111680 227771 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11456] ppid=11438 vsize=10553820 CPUtime=0.99 cores=0,2,4,6
/proc/11440/task/11456/stat : 11456 (java) S 11438 11440 10129 0 -1 4202560 10339 0 0 0 98 1 0 0 15 0 19 0 834444166 10807111680 227772 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11457] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11457/stat : 11457 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10807111680 227774 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11458] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11458/stat : 11458 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834444166 10807111680 227776 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=10553820 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444213 10807111680 227778 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 10553820
[startup+6.30101 s]
/proc/loadavg: 2.00 2.03 2.00 3/598 11505
/proc/meminfo: memFree=27128712/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10551120 CPUtime=8.09 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 505411 0 1 0 746 63 0 0 25 0 19 0 834444160 10804346880 495105 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2637780 495110 2240 9 0 2628514 0
[pid=11440/tid=11441] ppid=11438 vsize=10551120 CPUtime=6.28 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 488104 0 1 0 567 61 0 0 25 0 19 0 834444160 10804346880 495112 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505865786 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495114 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495116 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495119 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495121 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495123 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495125 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495128 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11450] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11450/stat : 11450 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444162 10804346880 495130 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11451] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11451/stat : 11451 (java) S 11438 11440 10129 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834444163 10804346880 495132 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11452] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11452/stat : 11452 (java) S 11438 11440 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834444163 10804346880 495134 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11453] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11453/stat : 11453 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444163 10804346880 495136 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11454] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11454/stat : 11454 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 495138 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11455] ppid=11438 vsize=10551120 CPUtime=0.8 cores=0,2,4,6
/proc/11440/task/11455/stat : 11455 (java) S 11438 11440 10129 0 -1 4202560 5813 0 0 0 80 0 0 0 15 0 19 0 834444166 10804346880 495144 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11456] ppid=11438 vsize=10551120 CPUtime=0.99 cores=0,2,4,6
/proc/11440/task/11456/stat : 11456 (java) S 11438 11440 10129 0 -1 4202560 10339 0 0 0 98 1 0 0 15 0 19 0 834444166 10804346880 495147 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=11440/tid=11459] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444213 10804346880 920284 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.16
Current children cumulated vsize (KiB) 10551120
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/598 11563
/proc/meminfo: memFree=22347836/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10551120 CPUtime=1727.29 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 932936 0 1 0 172612 117 0 0 25 0 19 0 834444160 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2637780 921328 2267 9 0 2628514 0
[pid=11440/tid=11441] ppid=11438 vsize=10551120 CPUtime=1720.14 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 828381 0 1 0 171915 99 0 0 25 0 19 0 834444160 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505863143 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=10551120 CPUtime=0.58 cores=0,2,4,6
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10129 0 -1 4202560 11663 0 0 0 57 1 0 0 15 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=10551120 CPUtime=0.52 cores=0,2,4,6
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10129 0 -1 4202560 9931 0 0 0 51 1 0 0 15 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=10551120 CPUtime=0.58 cores=0,2,4,6
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10129 0 -1 4202560 10724 0 0 0 57 1 0 0 16 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=10551120 CPUtime=0.58 cores=0,2,4,6
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10129 0 -1 4202560 8031 0 0 0 57 1 0 0 16 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=10551120 CPUtime=0.46 cores=0,2,4,6
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10129 0 -1 4202560 4623 0 0 0 46 0 0 0 15 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=10551120 CPUtime=0.49 cores=0,2,4,6
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10129 0 -1 4202560 9948 0 0 0 48 1 0 0 15 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=10551120 CPUtime=0.6 cores=0,2,4,6
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 10129 0 -1 4202560 11732 0 0 0 59 1 0 0 16 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11440/tid=11450] ppid=11438 vsize=10551120 CPUtime=0.64 cores=0,2,4,6
/proc/11440/task/11450/stat : 11450 (java) S 11438 11440 10129 0 -1 4202560 12925 0 0 0 62 2 0 0 16 0 19 0 834444162 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11451] ppid=11438 vsize=10551120 CPUtime=0.57 cores=0,2,4,6
/proc/11440/task/11451/stat : 11451 (java) S 11438 11440 10129 0 -1 4202560 7548 0 0 0 56 1 0 0 15 0 19 0 834444163 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11440/tid=11452] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11452/stat : 11452 (java) S 11438 11440 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444163 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11453] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11453/stat : 11453 (java) S 11438 11440 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834444163 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11454] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11454/stat : 11454 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11455] ppid=11438 vsize=10551120 CPUtime=0.85 cores=0,2,4,6
/proc/11440/task/11455/stat : 11455 (java) S 11438 11440 10129 0 -1 4202560 5824 0 0 0 85 0 0 0 15 0 19 0 834444166 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11456] ppid=11438 vsize=10551120 CPUtime=1.14 cores=0,2,4,6
/proc/11440/task/11456/stat : 11456 (java) S 11438 11440 10129 0 -1 4202560 10353 0 0 0 113 1 0 0 15 0 19 0 834444166 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11457] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11457/stat : 11457 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11458] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11458/stat : 11458 (java) S 11438 11440 10129 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834444166 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444213 10804346880 921328 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.29
Current children cumulated vsize (KiB) 10551120
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/598 11565
/proc/meminfo: memFree=22322020/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10551120 CPUtime=1787.39 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 933709 0 1 0 178622 117 0 0 25 0 19 0 834444160 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2637780 922078 2267 9 0 2628514 0
[pid=11440/tid=11441] ppid=11438 vsize=10551120 CPUtime=1780.1 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 828384 0 1 0 177911 99 0 0 25 0 19 0 834444160 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505880047 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=10551120 CPUtime=0.59 cores=0,2,4,6
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10129 0 -1 4202560 11748 0 0 0 58 1 0 0 15 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=10551120 CPUtime=0.54 cores=0,2,4,6
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10129 0 -1 4202560 10041 0 0 0 53 1 0 0 15 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=10551120 CPUtime=0.61 cores=0,2,4,6
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10129 0 -1 4202560 10950 0 0 0 60 1 0 0 16 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=10551120 CPUtime=0.59 cores=0,2,4,6
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10129 0 -1 4202560 8110 0 0 0 58 1 0 0 15 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=10551120 CPUtime=0.47 cores=0,2,4,6
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10129 0 -1 4202560 4677 0 0 0 47 0 0 0 16 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=10551120 CPUtime=0.53 cores=0,2,4,6
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10129 0 -1 4202560 10154 0 0 0 52 1 0 0 16 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=10551120 CPUtime=0.61 cores=0,2,4,6
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 10129 0 -1 4202560 11736 0 0 0 60 1 0 0 16 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11450] ppid=11438 vsize=10551120 CPUtime=0.64 cores=0,2,4,6
/proc/11440/task/11450/stat : 11450 (java) S 11438 11440 10129 0 -1 4202560 12925 0 0 0 62 2 0 0 15 0 19 0 834444162 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11451] ppid=11438 vsize=10551120 CPUtime=0.57 cores=0,2,4,6
/proc/11440/task/11451/stat : 11451 (java) S 11438 11440 10129 0 -1 4202560 7552 0 0 0 56 1 0 0 15 0 19 0 834444163 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11452] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11452/stat : 11452 (java) S 11438 11440 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444163 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11453] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11453/stat : 11453 (java) S 11438 11440 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834444163 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11454] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11454/stat : 11454 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11455] ppid=11438 vsize=10551120 CPUtime=0.85 cores=0,2,4,6
/proc/11440/task/11455/stat : 11455 (java) S 11438 11440 10129 0 -1 4202560 5824 0 0 0 85 0 0 0 15 0 19 0 834444166 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11456] ppid=11438 vsize=10551120 CPUtime=1.14 cores=0,2,4,6
/proc/11440/task/11456/stat : 11456 (java) S 11438 11440 10129 0 -1 4202560 10353 0 0 0 113 1 0 0 15 0 19 0 834444166 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11457] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11457/stat : 11457 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11458] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11458/stat : 11458 (java) S 11438 11440 10129 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834444166 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444213 10804346880 922078 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (KiB) 10551120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.00 2.02 2.00 2/578 11568
/proc/meminfo: memFree=26351800/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=10551120 CPUtime=1800.02 cores=0,2,4,6
/proc/11440/stat : 11440 (java) S 11438 11440 10129 0 -1 4202496 933907 0 1 0 179885 117 0 0 25 0 19 0 834444160 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 2637780 922273 2267 9 0 2628514 0
[pid=11440/tid=11441] ppid=11438 vsize=10551120 CPUtime=1792.7 cores=0,2,4,6
/proc/11440/task/11441/stat : 11441 (java) R 11438 11440 10129 0 -1 4202560 828385 0 1 0 179171 99 0 0 25 0 19 0 834444160 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 46912505863496 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11440/tid=11443] ppid=11438 vsize=10551120 CPUtime=0.59 cores=0,2,4,6
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10129 0 -1 4202560 11748 0 0 0 58 1 0 0 15 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11444] ppid=11438 vsize=10551120 CPUtime=0.54 cores=0,2,4,6
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10129 0 -1 4202560 10041 0 0 0 53 1 0 0 15 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11445] ppid=11438 vsize=10551120 CPUtime=0.61 cores=0,2,4,6
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10129 0 -1 4202560 10950 0 0 0 60 1 0 0 16 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11446] ppid=11438 vsize=10551120 CPUtime=0.61 cores=0,2,4,6
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10129 0 -1 4202560 8118 0 0 0 60 1 0 0 16 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11447] ppid=11438 vsize=10551120 CPUtime=0.47 cores=0,2,4,6
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10129 0 -1 4202560 4677 0 0 0 47 0 0 0 15 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11448] ppid=11438 vsize=10551120 CPUtime=0.53 cores=0,2,4,6
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10129 0 -1 4202560 10154 0 0 0 52 1 0 0 15 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 4 0 0 0
[pid=11440/tid=11449] ppid=11438 vsize=10551120 CPUtime=0.61 cores=0,2,4,6
/proc/11440/task/11449/stat : 11449 (java) S 11438 11440 10129 0 -1 4202560 11736 0 0 0 60 1 0 0 15 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11450] ppid=11438 vsize=10551120 CPUtime=0.66 cores=0,2,4,6
/proc/11440/task/11450/stat : 11450 (java) S 11438 11440 10129 0 -1 4202560 13112 0 0 0 64 2 0 0 16 0 19 0 834444162 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 2 0 0 0
[pid=11440/tid=11451] ppid=11438 vsize=10551120 CPUtime=0.57 cores=0,2,4,6
/proc/11440/task/11451/stat : 11451 (java) S 11438 11440 10129 0 -1 4202560 7552 0 0 0 56 1 0 0 15 0 19 0 834444163 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 0 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11452] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11452/stat : 11452 (java) S 11438 11440 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444163 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11453] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11453/stat : 11453 (java) S 11438 11440 10129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834444163 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11454] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11454/stat : 11454 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826063793 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11455] ppid=11438 vsize=10551120 CPUtime=0.85 cores=0,2,4,6
/proc/11440/task/11455/stat : 11455 (java) S 11438 11440 10129 0 -1 4202560 5824 0 0 0 85 0 0 0 15 0 19 0 834444166 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11456] ppid=11438 vsize=10551120 CPUtime=1.14 cores=0,2,4,6
/proc/11440/task/11456/stat : 11456 (java) S 11438 11440 10129 0 -1 4202560 10353 0 0 0 113 1 0 0 15 0 19 0 834444166 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11457] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11457/stat : 11457 (java) S 11438 11440 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444166 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056089 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
[pid=11440/tid=11458] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11458/stat : 11458 (java) S 11438 11440 10129 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 834444166 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 0 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=10551120 CPUtime=0 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) S 11438 11440 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834444213 10804346880 922273 33554432000 1073741824 1073778376 140735682005840 18446744073709551615 251826056704 0 4 0 16800975 18446604453513300928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10551120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.03 s]
/proc/loadavg: 2.00 2.02 2.00 2/578 11568
/proc/meminfo: memFree=26351800/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/11440/stat : 11440 (java) Z 11438 11440 10129 0 -1 4203548 933940 0 1 0 179899 120 0 0 17 0 2 0 834444160 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 0 0 0 0 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) R 11438 11440 10129 0 -1 4203588 7 0 0 0 0 3 0 0 18 0 2 0 834444213 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 2/562 11571
/proc/meminfo: memFree=29186072/32950928 swapFree=41528364/67111528
[pid=11440] ppid=11438 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/11440/stat : 11440 (java) Z 11438 11440 10129 0 -1 4203548 933940 0 1 0 179899 129 0 0 17 0 2 0 834444160 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11440/statm: 0 0 0 0 0 0 0
[pid=11440/tid=11459] ppid=11438 vsize=0 CPUtime=0.12 cores=0,2,4,6
/proc/11440/task/11459/stat : 11459 (java) R 11438 11440 10129 0 -1 4203588 7 0 0 0 0 12 0 0 18 0 2 0 834444213 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.14
CPU time (s): 1800.31
CPU user time (s): 1798.99
CPU system time (s): 1.3118
CPU usage (%): 100.288
Max. virtual memory (cumulated for all children) (KiB): 10553820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.3118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933940
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= 39515
involuntary context switches= 5222
runsolver used 11.2723 second user time and 23.0565 second system time
The end