runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738378-1338725106/watcher-3738378-1338725106 -o /tmp/evaluation-result-3738378-1338725106/solver-3738378-1338725106 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3738378-1338725106.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: 3.64 3.84 3.79 4/199 1540
/proc/meminfo: memFree=25889568/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1540/stat : 1540 (java) D 1538 1540 30903 0 -1 4202496 443 0 0 0 0 0 0 0 20 0 1 0 338636021 9515008 175 33554432000 1073741824 1073778376 140736127940896 140736127923624 273905697680 0 0 4096 0 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2323 175 133 9 0 71 0
[startup+0.08243 s]
/proc/loadavg: 3.64 3.84 3.79 4/199 1540
/proc/meminfo: memFree=25889568/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 4981 0 1 0 5 2 0 0 20 0 18 0 338636021 11864465408 12834 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.100272 s]
/proc/loadavg: 3.64 3.84 3.79 4/199 1540
/proc/meminfo: memFree=25889568/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11586392 CPUtime=0.11 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 5776 0 1 0 9 2 0 0 20 0 18 0 338636021 11864465408 13615 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2896598 13615 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11586392
[startup+0.30021 s]
/proc/loadavg: 3.64 3.84 3.79 4/199 1540
/proc/meminfo: memFree=25889568/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11586392 CPUtime=0.52 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 8390 0 1 0 50 2 0 0 20 0 18 0 338636021 11864465408 17050 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2896598 17050 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11586392
[startup+0.700159 s]
/proc/loadavg: 3.64 3.84 3.79 4/199 1540
/proc/meminfo: memFree=25889568/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11852648 CPUtime=1.94 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 22198 0 1 0 189 5 0 0 20 0 22 0 338636021 12137111552 27598 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2963162 27598 2251 9 0 2953849 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 11852648
[startup+1.50082 s]
/proc/loadavg: 3.64 3.84 3.79 7/221 1563
/proc/meminfo: memFree=25729412/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11852648 CPUtime=4.67 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 27847 0 1 0 457 10 0 0 20 0 22 0 338636021 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2963162 90309 2283 9 0 2953849 0
[pid=1540/tid=1542] ppid=1538 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/1540/task/1542/stat : 1542 (java) S 1538 1540 30903 0 -1 4202560 3899 0 1 0 41 2 0 0 20 0 22 0 338636022 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683763221656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1543] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1543/stat : 1543 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683738626600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1544] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1544/stat : 1544 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683737573800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1545] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1545/stat : 1545 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683736521000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1546] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1546/stat : 1546 (java) S 1538 1540 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683735468200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1547] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1547/stat : 1547 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683596057640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1548] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1548/stat : 1548 (java) S 1538 1540 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683595004840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1549] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1549/stat : 1549 (java) S 1538 1540 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683593952040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1550] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1550/stat : 1550 (java) S 1538 1540 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683592899240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1551] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1551/stat : 1551 (java) R 1538 1540 30903 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 338636025 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683580700136 140683767382347 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1552] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1552/stat : 1552 (java) S 1538 1540 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683579647224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1553] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1553/stat : 1553 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683578594312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1554] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1554/stat : 1554 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683577542800 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1555] ppid=1538 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/1540/task/1555/stat : 1555 (java) S 1538 1540 30903 0 -1 4202560 9130 0 0 0 110 0 0 0 20 0 22 0 338636028 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683576490936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1556] ppid=1538 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/1540/task/1556/stat : 1556 (java) S 1538 1540 30903 0 -1 4202560 13339 0 0 0 99 2 0 0 20 0 22 0 338636028 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683575438136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1557] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1557/stat : 1557 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683574385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1558] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1558/stat : 1558 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683573332936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1559] ppid=1538 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/1540/task/1559/stat : 1559 (java) S 1538 1540 30903 0 -1 4202560 46 0 0 0 99 0 0 0 20 0 22 0 338636067 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683572277832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1560] ppid=1538 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/1540/task/1560/stat : 1560 (java) S 1538 1540 30903 0 -1 4202560 185 0 0 0 96 4 0 0 20 0 22 0 338636067 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683571225336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1561] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1561/stat : 1561 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683570172840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1563] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1563/stat : 1563 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 90309 33554432000 1073741824 1073778376 140736127940896 140683569120040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 11852648
[startup+3.10076 s]
/proc/loadavg: 3.67 3.85 3.79 6/221 1563
/proc/meminfo: memFree=25498424/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11852648 CPUtime=8.03 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 28908 0 1 0 791 12 0 0 20 0 22 0 338636021 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2963162 120013 2287 9 0 2953849 0
[pid=1540/tid=1542] ppid=1538 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/1540/task/1542/stat : 1542 (java) S 1538 1540 30903 0 -1 4202560 3899 0 1 0 41 2 0 0 20 0 22 0 338636022 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683763221656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1543] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1543/stat : 1543 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683738626600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1544] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1544/stat : 1544 (java) S 1538 1540 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683737573800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1545] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1545/stat : 1545 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683736521000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1546] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1546/stat : 1546 (java) S 1538 1540 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683735468200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1547] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1547/stat : 1547 (java) S 1538 1540 30903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683596057640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1548] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1548/stat : 1548 (java) S 1538 1540 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683595004840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1549] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1549/stat : 1549 (java) S 1538 1540 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683593952040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1550] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1550/stat : 1550 (java) S 1538 1540 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683592899240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1551] ppid=1538 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/1540/task/1551/stat : 1551 (java) S 1538 1540 30903 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 22 0 338636025 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683580701160 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1552] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1552/stat : 1552 (java) S 1538 1540 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683579647224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1553] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1553/stat : 1553 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683578594312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1554] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1554/stat : 1554 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683577542800 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1555] ppid=1538 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/1540/task/1555/stat : 1555 (java) S 1538 1540 30903 0 -1 4202560 9228 0 0 0 117 0 0 0 20 0 22 0 338636028 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683576490936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1556] ppid=1538 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/1540/task/1556/stat : 1556 (java) S 1538 1540 30903 0 -1 4202560 14226 0 0 0 112 2 0 0 20 0 22 0 338636028 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683575438136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1557] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1557/stat : 1557 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683574385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1558] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1558/stat : 1558 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683573332936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1559] ppid=1538 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/1540/task/1559/stat : 1559 (java) R 1538 1540 30903 0 -1 4202560 46 0 0 0 253 0 0 0 20 0 22 0 338636067 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683572277864 140683617358910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1560] ppid=1538 vsize=11852648 CPUtime=2.55 cores=0,2,4,6
/proc/1540/task/1560/stat : 1560 (java) R 1538 1540 30903 0 -1 4202560 235 0 0 0 250 5 0 0 20 0 22 0 338636067 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683571223136 140683617552695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1561] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1561/stat : 1561 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683570172840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1563] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1563/stat : 1563 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 120013 33554432000 1073741824 1073778376 140736127940896 140683569120040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 11852648
[startup+6.30084 s]
/proc/loadavg: 3.67 3.85 3.79 5/221 1563
/proc/meminfo: memFree=25215064/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11852648 CPUtime=14.39 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 29033 0 1 0 1423 16 0 0 20 0 22 0 338636021 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2963162 177213 2287 9 0 2953849 0
[pid=1540/tid=1542] ppid=1538 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/1540/task/1542/stat : 1542 (java) S 1538 1540 30903 0 -1 4202560 3899 0 1 0 41 2 0 0 20 0 22 0 338636022 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683763221656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1543] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1543/stat : 1543 (java) S 1538 1540 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683738626600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1544] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1544/stat : 1544 (java) S 1538 1540 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683737573800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1545] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1545/stat : 1545 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683736521000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1546] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1546/stat : 1546 (java) S 1538 1540 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683735468200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1547] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1547/stat : 1547 (java) S 1538 1540 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683596057640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1548] ppid=1538 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/1540/task/1548/stat : 1548 (java) S 1538 1540 30903 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683595004840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1549] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1549/stat : 1549 (java) S 1538 1540 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683593952040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1550] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1550/stat : 1550 (java) S 1538 1540 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338636024 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683592899240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1551] ppid=1538 vsize=11852648 CPUtime=0.18 cores=0,2,4,6
/proc/1540/task/1551/stat : 1551 (java) S 1538 1540 30903 0 -1 4202560 37 0 0 0 18 0 0 0 20 0 22 0 338636025 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683580701160 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1552] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1552/stat : 1552 (java) S 1538 1540 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683579647224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1553] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1553/stat : 1553 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683578594312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1554] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1554/stat : 1554 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683577542800 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1555] ppid=1538 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/1540/task/1555/stat : 1555 (java) S 1538 1540 30903 0 -1 4202560 9229 0 0 0 118 0 0 0 20 0 22 0 338636028 12137111552 177213 33554432000 1073741824 1073778376 140736127940896 140683576490936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
/proc/1540/statm: 2963162 394600 2288 9 0 2953849 0
[pid=1540/tid=1542] ppid=1538 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/1540/task/1542/stat : 1542 (java) S 1538 1540 30903 0 -1 4202560 4139 0 1 0 44 4 0 0 20 0 22 0 338636022 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683763221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1543] ppid=1538 vsize=11852648 CPUtime=2.29 cores=0,2,4,6
/proc/1540/task/1543/stat : 1543 (java) S 1538 1540 30903 0 -1 4202560 145 0 0 0 227 2 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683738626600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1544] ppid=1538 vsize=11852648 CPUtime=2.22 cores=0,2,4,6
/proc/1540/task/1544/stat : 1544 (java) S 1538 1540 30903 0 -1 4202560 134 0 0 0 222 0 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683737573800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1545] ppid=1538 vsize=11852648 CPUtime=2.11 cores=0,2,4,6
/proc/1540/task/1545/stat : 1545 (java) S 1538 1540 30903 0 -1 4202560 131 0 0 0 209 2 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683736521000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1546] ppid=1538 vsize=11852648 CPUtime=2.36 cores=0,2,4,6
/proc/1540/task/1546/stat : 1546 (java) S 1538 1540 30903 0 -1 4202560 156 0 0 0 233 3 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683735468200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1547] ppid=1538 vsize=11852648 CPUtime=2.29 cores=0,2,4,6
/proc/1540/task/1547/stat : 1547 (java) S 1538 1540 30903 0 -1 4202560 155 0 0 0 227 2 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683596057640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1548] ppid=1538 vsize=11852648 CPUtime=2.33 cores=0,2,4,6
/proc/1540/task/1548/stat : 1548 (java) S 1538 1540 30903 0 -1 4202560 166 0 0 0 231 2 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683595004840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1549] ppid=1538 vsize=11852648 CPUtime=2.28 cores=0,2,4,6
/proc/1540/task/1549/stat : 1549 (java) S 1538 1540 30903 0 -1 4202560 144 0 0 0 226 2 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683593952040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1550] ppid=1538 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/1540/task/1550/stat : 1550 (java) S 1538 1540 30903 0 -1 4202560 140 0 0 0 218 2 0 0 20 0 22 0 338636024 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683592899240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1551] ppid=1538 vsize=11852648 CPUtime=134.42 cores=0,2,4,6
/proc/1540/task/1551/stat : 1551 (java) R 1538 1540 30903 0 -1 4202560 243 0 0 0 13429 13 0 0 20 0 22 0 338636025 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683580700136 140683770075394 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1552] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1552/stat : 1552 (java) S 1538 1540 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683579647224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1553] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1553/stat : 1553 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683578594312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1554] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1554/stat : 1554 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683577542800 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1555] ppid=1538 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/1540/task/1555/stat : 1555 (java) S 1538 1540 30903 0 -1 4202560 9234 0 0 0 127 0 0 0 20 0 22 0 338636028 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683576490936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1556] ppid=1538 vsize=11852648 CPUtime=2.29 cores=0,2,4,6
/proc/1540/task/1556/stat : 1556 (java) S 1538 1540 30903 0 -1 4202560 22726 0 0 0 225 4 0 0 20 0 22 0 338636028 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683575438136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1557] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1557/stat : 1557 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683574385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1558] ppid=1538 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/1540/task/1558/stat : 1558 (java) S 1538 1540 30903 0 -1 4202560 50 0 0 0 18 17 0 0 20 0 22 0 338636028 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683573332936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1559] ppid=1538 vsize=11852648 CPUtime=739.78 cores=0,2,4,6
/proc/1540/task/1559/stat : 1559 (java) S 1538 1540 30903 0 -1 4202560 138 0 0 0 73966 12 0 0 20 0 22 0 338636067 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683572277832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1560] ppid=1538 vsize=11852648 CPUtime=739.75 cores=0,2,4,6
/proc/1540/task/1560/stat : 1560 (java) S 1538 1540 30903 0 -1 4202560 652 0 0 0 73946 29 0 0 20 0 22 0 338636067 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683571222904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1561] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1561/stat : 1561 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683570172840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1563] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1563/stat : 1563 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 394600 33554432000 1073741824 1073778376 140736127940896 140683569120040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1640.38
Current children cumulated vsize (KiB) 11852648
[startup+942.301 s]
/proc/loadavg: 3.78 3.79 3.78 5/222 1644
/proc/meminfo: memFree=22718848/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11852648 CPUtime=1746.16 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 39701 0 1 0 174545 71 0 0 20 0 22 0 338636021 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2963162 398303 2288 9 0 2953849 0
[pid=1540/tid=1542] ppid=1538 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/1540/task/1542/stat : 1542 (java) S 1538 1540 30903 0 -1 4202560 4164 0 1 0 44 4 0 0 20 0 22 0 338636022 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683763221656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1543] ppid=1538 vsize=11852648 CPUtime=2.58 cores=0,2,4,6
/proc/1540/task/1543/stat : 1543 (java) S 1538 1540 30903 0 -1 4202560 160 0 0 0 256 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683738626600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1544] ppid=1538 vsize=11852648 CPUtime=2.47 cores=0,2,4,6
/proc/1540/task/1544/stat : 1544 (java) S 1538 1540 30903 0 -1 4202560 145 0 0 0 245 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683737573800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1545] ppid=1538 vsize=11852648 CPUtime=2.35 cores=0,2,4,6
/proc/1540/task/1545/stat : 1545 (java) S 1538 1540 30903 0 -1 4202560 139 0 0 0 233 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683736521000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1546] ppid=1538 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/1540/task/1546/stat : 1546 (java) S 1538 1540 30903 0 -1 4202560 177 0 0 0 256 3 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683735468200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1547] ppid=1538 vsize=11852648 CPUtime=2.51 cores=0,2,4,6
/proc/1540/task/1547/stat : 1547 (java) S 1538 1540 30903 0 -1 4202560 169 0 0 0 249 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683596057640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1548] ppid=1538 vsize=11852648 CPUtime=2.61 cores=0,2,4,6
/proc/1540/task/1548/stat : 1548 (java) S 1538 1540 30903 0 -1 4202560 178 0 0 0 259 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683595004840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1549] ppid=1538 vsize=11852648 CPUtime=2.54 cores=0,2,4,6
/proc/1540/task/1549/stat : 1549 (java) S 1538 1540 30903 0 -1 4202560 164 0 0 0 252 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683593952040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1550] ppid=1538 vsize=11852648 CPUtime=2.5 cores=0,2,4,6
/proc/1540/task/1550/stat : 1550 (java) S 1538 1540 30903 0 -1 4202560 158 0 0 0 248 2 0 0 20 0 22 0 338636024 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683592899240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1551] ppid=1538 vsize=11852648 CPUtime=149.52 cores=0,2,4,6
/proc/1540/task/1551/stat : 1551 (java) S 1538 1540 30903 0 -1 4202560 254 0 0 0 14939 13 0 0 20 0 22 0 338636025 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683580701160 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1552] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1552/stat : 1552 (java) S 1538 1540 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683579647224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1553] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1553/stat : 1553 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683578594312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1554] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1554/stat : 1554 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683577542800 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1555] ppid=1538 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/1540/task/1555/stat : 1555 (java) S 1538 1540 30903 0 -1 4202560 9234 0 0 0 127 0 0 0 20 0 22 0 338636028 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683576490936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1556] ppid=1538 vsize=11852648 CPUtime=2.29 cores=0,2,4,6
/proc/1540/task/1556/stat : 1556 (java) S 1538 1540 30903 0 -1 4202560 22727 0 0 0 225 4 0 0 20 0 22 0 338636028 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683575438136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1557] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1557/stat : 1557 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683574385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1558] ppid=1538 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/1540/task/1558/stat : 1558 (java) S 1538 1540 30903 0 -1 4202560 54 0 0 0 19 18 0 0 20 0 22 0 338636028 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683573332936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1559] ppid=1538 vsize=11852648 CPUtime=783.95 cores=0,2,4,6
/proc/1540/task/1559/stat : 1559 (java) R 1538 1540 30903 0 -1 4202560 138 0 0 0 78383 12 0 0 20 0 22 0 338636067 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683572277712 140683617606513 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1560] ppid=1538 vsize=11852648 CPUtime=783.91 cores=0,2,4,6
/proc/1540/task/1560/stat : 1560 (java) R 1538 1540 30903 0 -1 4202560 653 0 0 0 78362 29 0 0 20 0 22 0 338636067 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683571223136 140683617467169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1561] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1561/stat : 1561 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683570172840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1563] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1563/stat : 1563 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 398303 33554432000 1073741824 1073778376 140736127940896 140683569120040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1746.16
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+972.601 s]
/proc/loadavg: 3.68 3.76 3.77 5/221 1644
/proc/meminfo: memFree=22688824/32873844 swapFree=7124/7124
[pid=1540] ppid=1538 vsize=11852648 CPUtime=1800.17 cores=0,2,4,6
/proc/1540/stat : 1540 (java) S 1538 1540 30903 0 -1 4202496 39775 0 1 0 179944 73 0 0 20 0 22 0 338636021 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140736127932032 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1540/statm: 2963162 399383 2288 9 0 2953849 0
[pid=1540/tid=1542] ppid=1538 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/1540/task/1542/stat : 1542 (java) S 1538 1540 30903 0 -1 4202560 4176 0 1 0 44 4 0 0 20 0 22 0 338636022 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683763221656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1543] ppid=1538 vsize=11852648 CPUtime=2.71 cores=0,2,4,6
/proc/1540/task/1543/stat : 1543 (java) S 1538 1540 30903 0 -1 4202560 166 0 0 0 269 2 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683738626600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1544] ppid=1538 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/1540/task/1544/stat : 1544 (java) S 1538 1540 30903 0 -1 4202560 152 0 0 0 257 2 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683737573800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1545] ppid=1538 vsize=11852648 CPUtime=2.45 cores=0,2,4,6
/proc/1540/task/1545/stat : 1545 (java) S 1538 1540 30903 0 -1 4202560 139 0 0 0 243 2 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683736521000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1546] ppid=1538 vsize=11852648 CPUtime=2.67 cores=0,2,4,6
/proc/1540/task/1546/stat : 1546 (java) S 1538 1540 30903 0 -1 4202560 177 0 0 0 264 3 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683735468200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1547] ppid=1538 vsize=11852648 CPUtime=2.61 cores=0,2,4,6
/proc/1540/task/1547/stat : 1547 (java) S 1538 1540 30903 0 -1 4202560 179 0 0 0 259 2 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683596057640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1548] ppid=1538 vsize=11852648 CPUtime=2.75 cores=0,2,4,6
/proc/1540/task/1548/stat : 1548 (java) S 1538 1540 30903 0 -1 4202560 198 0 0 0 272 3 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683595004840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1549] ppid=1538 vsize=11852648 CPUtime=2.64 cores=0,2,4,6
/proc/1540/task/1549/stat : 1549 (java) S 1538 1540 30903 0 -1 4202560 165 0 0 0 262 2 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683593952040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1550] ppid=1538 vsize=11852648 CPUtime=2.66 cores=0,2,4,6
/proc/1540/task/1550/stat : 1550 (java) S 1538 1540 30903 0 -1 4202560 170 0 0 0 264 2 0 0 20 0 22 0 338636024 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683592899240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1551] ppid=1538 vsize=11852648 CPUtime=156.5 cores=0,2,4,6
/proc/1540/task/1551/stat : 1551 (java) S 1538 1540 30903 0 -1 4202560 258 0 0 0 15636 14 0 0 20 0 22 0 338636025 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683580701160 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1552] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1552/stat : 1552 (java) S 1538 1540 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683579647224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1553] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1553/stat : 1553 (java) S 1538 1540 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338636026 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683578594312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1554] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1554/stat : 1554 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683577542800 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1540/tid=1555] ppid=1538 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/1540/task/1555/stat : 1555 (java) S 1538 1540 30903 0 -1 4202560 9234 0 0 0 127 0 0 0 20 0 22 0 338636028 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683576490936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1556] ppid=1538 vsize=11852648 CPUtime=2.29 cores=0,2,4,6
/proc/1540/task/1556/stat : 1556 (java) S 1538 1540 30903 0 -1 4202560 22727 0 0 0 225 4 0 0 20 0 22 0 338636028 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683575438136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1557] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1557/stat : 1557 (java) S 1538 1540 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338636028 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683574385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1558] ppid=1538 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/1540/task/1558/stat : 1558 (java) S 1538 1540 30903 0 -1 4202560 56 0 0 0 19 19 0 0 20 0 22 0 338636028 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683573332936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1559] ppid=1538 vsize=11852648 CPUtime=806.93 cores=0,2,4,6
/proc/1540/task/1559/stat : 1559 (java) R 1538 1540 30903 0 -1 4202560 138 0 0 0 80680 13 0 0 20 0 22 0 338636067 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683572277712 140683617358703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1540/tid=1560] ppid=1538 vsize=11852648 CPUtime=806.88 cores=0,2,4,6
/proc/1540/task/1560/stat : 1560 (java) R 1538 1540 30903 0 -1 4202560 653 0 0 0 80658 30 0 0 20 0 22 0 338636067 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683571223008 140683617491055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1540/tid=1561] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1561/stat : 1561 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683570172840 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1540/tid=1563] ppid=1538 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1540/task/1563/stat : 1563 (java) S 1538 1540 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338636068 12137111552 399383 33554432000 1073741824 1073778376 140736127940896 140683569120040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1540 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=10116
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=181820
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 972.636
CPU time (s): 1800.17
CPU user time (s): 1799.44
CPU system time (s): 0.73
CPU usage (%): 185.082
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 1.18182
maximum resident set size= 1597660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39810
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34738
involuntary context switches= 42097
runsolver used 3.78143 second user time and 8.68468 second system time
The end