runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4247772-1500738443/watcher-4247772-1500738443 -o /tmp/evaluation-result-4247772-1500738443/solver-4247772-1500738443 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560 bin/concrete HOME/instance-4247772-1500738443.xml
pid=31566
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.64 1.44 1.51 2/261 31569
/proc/meminfo: memFree=30698652/32770624 swapFree=5700/383576
[pid=31569] ppid=31566 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (bash) S 31566 31569 22965 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 9111812 9736192 350 33554432000 4194304 5098028 140729364886496 140729364884136 140705615236096 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 17440768 140729364890894 140729364890979 140729364890979 140729364893678 0
/proc/31569/statm: 2377 350 277 221 0 86 0
[startup+0.100154 s]
/proc/loadavg: 1.64 1.44 1.51 2/261 31569
/proc/meminfo: memFree=30698652/32770624 swapFree=5700/383576
[pid=31569] ppid=31566 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (bash) S 31566 31569 22965 0 -1 4202496 885 6415 0 0 0 0 0 1 20 0 1 0 9111812 9871360 378 33554432000 4194304 5098028 140729364886496 140729364880504 140705615236096 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 17440768 140729364890894 140729364890979 140729364890979 140729364893678 0
/proc/31569/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200252 s]
/proc/loadavg: 1.64 1.44 1.51 2/261 31569
/proc/meminfo: memFree=30698652/32770624 swapFree=5700/383576
[pid=31569] ppid=31566 vsize=10835244 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 5601 12612 0 0 7 1 7 3 20 0 19 0 9111812 11095289856 5876 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2708811 5876 2527 1 0 2697249 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10835244
[startup+0.300265 s]
/proc/loadavg: 1.64 1.44 1.51 2/261 31569
/proc/meminfo: memFree=30698652/32770624 swapFree=5700/383576
[pid=31569] ppid=31566 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 9565 12612 0 0 24 3 7 3 20 0 20 0 9111812 11164049408 10628 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2725598 10628 2991 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700194 s]
/proc/loadavg: 1.64 1.44 1.51 2/261 31569
/proc/meminfo: memFree=30698652/32770624 swapFree=5700/383576
[pid=31569] ppid=31566 vsize=10902720 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 12956 12612 0 0 84 5 7 3 20 0 20 0 9111812 11164385280 16294 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2725680 16294 3232 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720
[startup+1.51602 s]
/proc/loadavg: 1.67 1.44 1.51 3/281 31642
/proc/meminfo: memFree=30559892/32770624 swapFree=5700/383264
[pid=31569] ppid=31566 vsize=10915392 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 27123 12612 0 0 210 13 7 3 20 0 20 0 9111812 11177361408 44197 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2728848 44197 3408 1 0 2716962 0
[pid=31569/tid=31624] ppid=31566 vsize=10915392 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31624/stat : 31624 (java) R 31566 31569 22965 0 -1 4202560 19590 12612 0 0 127 6 7 3 20 0 20 0 9111823 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156403495696 140156391504702 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31625] ppid=31566 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31625/stat : 31625 (java) S 31566 31569 22965 0 -1 1077944384 47 12612 0 0 1 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156335959056 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31626] ppid=31566 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31626/stat : 31626 (java) S 31566 31569 22965 0 -1 1077944384 27 12612 0 0 1 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156334906512 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31627] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31627/stat : 31627 (java) S 31566 31569 22965 0 -1 1077944384 27 12612 0 0 0 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156333853456 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31628] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31628/stat : 31628 (java) S 31566 31569 22965 0 -1 1077944384 11 12612 0 0 0 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156332800912 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31629] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31629/stat : 31629 (java) S 31566 31569 22965 0 -1 1077944384 19 12612 0 0 0 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156331747856 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31630] ppid=31566 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31630/stat : 31630 (java) S 31566 31569 22965 0 -1 1077944384 120 12612 0 0 1 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156330695312 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31631] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31631/stat : 31631 (java) S 31566 31569 22965 0 -1 1077944384 17 12612 0 0 0 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156329642256 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31632] ppid=31566 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31632/stat : 31632 (java) S 31566 31569 22965 0 -1 1077944384 48 12612 0 0 1 0 7 3 20 0 20 0 9111824 11177361408 44197 33554432000 4194304 4196468 140725427714608 140156328589712 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31633] ppid=31566 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31633/stat : 31633 (java) S 31566 31569 22965 0 -1 1077944384 1448 12612 0 0 1 0 7 3 20 0 20 0 9111826 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155873868528 140156399278722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31634] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31634/stat : 31634 (java) S 31566 31569 22965 0 -1 1077944384 56 12612 0 0 0 0 7 3 20 0 20 0 9111827 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155872814816 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31635] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31635/stat : 31635 (java) S 31566 31569 22965 0 -1 1077944384 43 12612 0 0 0 0 7 3 20 0 20 0 9111827 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155871761664 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31636] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31636/stat : 31636 (java) S 31566 31569 22965 0 -1 1077944384 1 12612 0 0 0 0 7 3 20 0 20 0 9111831 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155870710224 140156399286171 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31637] ppid=31566 vsize=10915392 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31637/stat : 31637 (java) S 31566 31569 22965 0 -1 1077944384 806 12612 0 0 11 0 7 3 20 0 20 0 9111831 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155869657328 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31638] ppid=31566 vsize=10915392 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) S 31566 31569 22965 0 -1 1077944384 648 12612 0 0 16 0 7 3 20 0 20 0 9111831 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155868604784 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10915392 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) S 31566 31569 22965 0 -1 1077944384 775 12612 0 0 12 0 7 3 20 0 20 0 9111831 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155867551728 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10915392 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 1303 12612 0 0 29 1 7 3 20 0 20 0 9111831 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31641/stat : 31641 (java) S 31566 31569 22965 0 -1 1077944384 3 12612 0 0 0 0 7 3 20 0 20 0 9111832 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155865447392 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31642] ppid=31566 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31642/stat : 31642 (java) S 31566 31569 22965 0 -1 1077944384 6 12612 0 0 0 0 7 3 20 0 20 0 9111832 11177361408 44197 33554432000 4194304 4196468 140725427714608 140155864394928 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10915392
[startup+3.10076 s]
/proc/loadavg: 1.67 1.44 1.51 5/281 31642
/proc/meminfo: memFree=30515032/32770624 swapFree=5700/383268
[pid=31569] ppid=31566 vsize=10925820 CPUtime=6.87 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 43820 12612 0 0 658 19 7 3 20 0 20 0 9111812 11188039680 56900 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2731455 56900 3474 1 0 2719010 0
[pid=31569/tid=31624] ppid=31566 vsize=10925820 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31624/stat : 31624 (java) R 31566 31569 22965 0 -1 4202560 27301 12612 0 0 283 8 7 3 20 0 20 0 9111823 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156403501152 140156381696000 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31625] ppid=31566 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31625/stat : 31625 (java) S 31566 31569 22965 0 -1 1077944384 47 12612 0 0 1 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156335959056 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31626] ppid=31566 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31626/stat : 31626 (java) S 31566 31569 22965 0 -1 1077944384 27 12612 0 0 1 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156334906512 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31627] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31627/stat : 31627 (java) S 31566 31569 22965 0 -1 1077944384 27 12612 0 0 0 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156333853456 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31628] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31628/stat : 31628 (java) S 31566 31569 22965 0 -1 1077944384 11 12612 0 0 0 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156332800912 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31629] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31629/stat : 31629 (java) S 31566 31569 22965 0 -1 1077944384 19 12612 0 0 0 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156331747856 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31630] ppid=31566 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31630/stat : 31630 (java) S 31566 31569 22965 0 -1 1077944384 120 12612 0 0 1 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156330695312 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31631] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31631/stat : 31631 (java) S 31566 31569 22965 0 -1 1077944384 17 12612 0 0 0 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156329642256 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31632] ppid=31566 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31632/stat : 31632 (java) S 31566 31569 22965 0 -1 1077944384 48 12612 0 0 1 0 7 3 20 0 20 0 9111824 11188039680 56900 33554432000 4194304 4196468 140725427714608 140156328589712 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31633] ppid=31566 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31633/stat : 31633 (java) S 31566 31569 22965 0 -1 1077944384 1465 12612 0 0 1 0 7 3 20 0 20 0 9111826 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155873868528 140156399278722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31634] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31634/stat : 31634 (java) S 31566 31569 22965 0 -1 1077944384 56 12612 0 0 0 0 7 3 20 0 20 0 9111827 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155872814816 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31635] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31635/stat : 31635 (java) S 31566 31569 22965 0 -1 1077944384 43 12612 0 0 0 0 7 3 20 0 20 0 9111827 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155871761664 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31636] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31636/stat : 31636 (java) S 31566 31569 22965 0 -1 1077944384 1 12612 0 0 0 0 7 3 20 0 20 0 9111831 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155870710224 140156399286171 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31637] ppid=31566 vsize=10925820 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31637/stat : 31637 (java) R 31566 31569 22965 0 -1 4202560 2008 12612 0 0 66 1 7 3 20 0 20 0 9111831 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155869640512 140156379903508 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31638] ppid=31566 vsize=10925820 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) R 31566 31569 22965 0 -1 4202560 1687 12612 0 0 69 1 7 3 20 0 20 0 9111831 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155868590664 140156384188819 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10925820 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) R 31566 31569 22965 0 -1 4202560 4284 12612 0 0 104 1 7 3 20 0 20 0 9111831 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155867538848 140156378649585 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10925820 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 4515 12612 0 0 122 2 7 3 20 0 20 0 9111831 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31641/stat : 31641 (java) S 31566 31569 22965 0 -1 1077944384 3 12612 0 0 0 0 7 3 20 0 20 0 9111832 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155865447392 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31642] ppid=31566 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31642/stat : 31642 (java) S 31566 31569 22965 0 -1 1077944384 7 12612 0 0 0 0 7 3 20 0 20 0 9111832 11188039680 56900 33554432000 4194304 4196468 140725427714608 140155864394928 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 10925820
[startup+6.30084 s]
/proc/loadavg: 1.69 1.45 1.51 3/281 31642
/proc/meminfo: memFree=30331544/32770624 swapFree=5700/383268
[pid=31569] ppid=31566 vsize=10997500 CPUtime=15.33 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 66933 12612 0 0 1492 31 7 3 20 0 20 0 9111812 11261440000 106505 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2749375 106505 3500 1 0 2736930 0
[pid=31569/tid=31624] ppid=31566 vsize=10997500 CPUtime=6.11 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31624/stat : 31624 (java) R 31566 31569 22965 0 -1 4202560 41847 12612 0 0 590 11 7 3 20 0 20 0 9111823 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156403501616 140156024638079 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31625] ppid=31566 vsize=10997500 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31625/stat : 31625 (java) S 31566 31569 22965 0 -1 1077944384 106 12612 0 0 4 0 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156335959056 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31626] ppid=31566 vsize=10997500 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31626/stat : 31626 (java) S 31566 31569 22965 0 -1 1077944384 55 12612 0 0 5 1 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156334906512 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31627] ppid=31566 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31627/stat : 31627 (java) S 31566 31569 22965 0 -1 1077944384 824 12612 0 0 4 1 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156333853456 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31628] ppid=31566 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31628/stat : 31628 (java) S 31566 31569 22965 0 -1 1077944384 72 12612 0 0 4 1 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156332800912 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31629] ppid=31566 vsize=10997500 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31629/stat : 31629 (java) S 31566 31569 22965 0 -1 1077944384 101 12612 0 0 3 1 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156331747856 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31630] ppid=31566 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31630/stat : 31630 (java) S 31566 31569 22965 0 -1 1077944384 213 12612 0 0 4 1 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156330695312 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31631] ppid=31566 vsize=10997500 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31631/stat : 31631 (java) S 31566 31569 22965 0 -1 1077944384 47 12612 0 0 4 0 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156329642256 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31632] ppid=31566 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31632/stat : 31632 (java) S 31566 31569 22965 0 -1 1077944384 68 12612 0 0 4 1 7 3 20 0 20 0 9111824 11261440000 106505 33554432000 4194304 4196468 140725427714608 140156328589712 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31633] ppid=31566 vsize=10997500 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31633/stat : 31633 (java) S 31566 31569 22965 0 -1 1077944384 2240 12612 0 0 5 0 7 3 20 0 20 0 9111826 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155873868528 140156399278722 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31634] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31634/stat : 31634 (java) S 31566 31569 22965 0 -1 1077944384 56 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155872814880 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31635] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31635/stat : 31635 (java) S 31566 31569 22965 0 -1 1077944384 43 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155871761664 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31636] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31636/stat : 31636 (java) S 31566 31569 22965 0 -1 1077944384 1 12612 0 0 0 0 7 3 20 0 20 0 9111831 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155870710224 140156399286171 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31637] ppid=31566 vsize=10997500 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31637/stat : 31637 (java) S 31566 31569 22965 0 -1 1077944384 2583 12612 0 0 193 1 7 3 20 0 20 0 9111831 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155869657328 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31638] ppid=31566 vsize=10997500 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) S 31566 31569 22965 0 -1 1077944384 6309 12612 0 0 226 2 7 3 20 0 20 0 9111831 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155868604784 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10997500 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) S 31566 31569 22965 0 -1 1077944384 4613 12612 0 0 241 1 7 3 20 0 20 0 9111831 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155867551728 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10997500 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 5609 12612 0 0 196 3 7 3 20 0 20 0 9111831 11261440000 106505 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=31569/tid=31638] ppid=31566 vsize=10997500 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) S 31566 31569 22965 0 -1 1077944384 13728 12612 0 0 362 3 7 3 20 0 20 0 9111831 11261440000 207653 33554432000 4194304 4196468 140725427714608 140155868604784 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10997500 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) S 31566 31569 22965 0 -1 1077944384 12670 12612 0 0 343 3 7 3 20 0 20 0 9111831 11261440000 207653 33554432000 4194304 4196468 140725427714608 140155867551728 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10997500 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 21444 12612 0 0 236 5 7 3 20 0 20 0 9111831 11261440000 207653 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31641/stat : 31641 (java) S 31566 31569 22965 0 -1 1077944384 3 12612 0 0 0 0 7 3 20 0 20 0 9111832 11261440000 207653 33554432000 4194304 4196468 140725427714608 140155865447392 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31642] ppid=31566 vsize=10997500 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31642/stat : 31642 (java) S 31566 31569 22965 0 -1 1077944384 1219 12612 0 0 72 54 7 3 20 0 20 0 9111832 11261440000 207653 33554432000 4194304 4196468 140725427714608 140155864394928 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
Current children cumulated CPU time (s) 2324.78
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.69 1.58 1.52 3/281 31877
/proc/meminfo: memFree=30210860/32770624 swapFree=5700/384708
[pid=31569] ppid=31566 vsize=10997500 CPUtime=2386.04 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 202803 12612 0 0 238221 373 7 3 20 0 20 0 9111812 11261440000 206404 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2749375 206404 3521 1 0 2736930 0
[pid=31569/tid=31624] ppid=31566 vsize=10997500 CPUtime=2304.53 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31624/stat : 31624 (java) R 31566 31569 22965 0 -1 4202560 75533 12612 0 0 230407 36 7 3 20 0 20 0 9111823 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156403501520 140156010096259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31625] ppid=31566 vsize=10997500 CPUtime=7.63 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31625/stat : 31625 (java) S 31566 31569 22965 0 -1 1077944384 8040 12612 0 0 719 34 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156335959056 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31626] ppid=31566 vsize=10997500 CPUtime=7.75 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31626/stat : 31626 (java) S 31566 31569 22965 0 -1 1077944384 6280 12612 0 0 730 35 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156334906512 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31627] ppid=31566 vsize=10997500 CPUtime=7.67 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31627/stat : 31627 (java) S 31566 31569 22965 0 -1 1077944384 5486 12612 0 0 725 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156333853456 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31628] ppid=31566 vsize=10997500 CPUtime=7.71 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31628/stat : 31628 (java) S 31566 31569 22965 0 -1 1077944384 3988 12612 0 0 730 31 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156332800912 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31629] ppid=31566 vsize=10997500 CPUtime=7.62 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31629/stat : 31629 (java) S 31566 31569 22965 0 -1 1077944384 3229 12612 0 0 718 34 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156331747856 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31630] ppid=31566 vsize=10997500 CPUtime=7.65 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31630/stat : 31630 (java) S 31566 31569 22965 0 -1 1077944384 4224 12612 0 0 721 34 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156330695312 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31631] ppid=31566 vsize=10997500 CPUtime=7.64 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31631/stat : 31631 (java) S 31566 31569 22965 0 -1 1077944384 5073 12612 0 0 722 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156329642256 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31632] ppid=31566 vsize=10997500 CPUtime=7.65 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31632/stat : 31632 (java) S 31566 31569 22965 0 -1 1077944384 4999 12612 0 0 723 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156328589712 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31633] ppid=31566 vsize=10997500 CPUtime=6.77 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31633/stat : 31633 (java) S 31566 31569 22965 0 -1 1077944384 22117 12612 0 0 633 34 7 3 20 0 20 0 9111826 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155873868528 140156399278722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31634] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31634/stat : 31634 (java) S 31566 31569 22965 0 -1 1077944384 60 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155872814880 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31635] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31635/stat : 31635 (java) S 31566 31569 22965 0 -1 1077944384 47 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155871761664 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31636] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31636/stat : 31636 (java) S 31566 31569 22965 0 -1 1077944384 1 12612 0 0 0 0 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155870710224 140156399286171 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31637] ppid=31566 vsize=10997500 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31637/stat : 31637 (java) S 31566 31569 22965 0 -1 1077944384 12504 12612 0 0 329 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155869657328 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31638] ppid=31566 vsize=10997500 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) S 31566 31569 22965 0 -1 1077944384 13730 12612 0 0 362 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155868604784 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10997500 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) S 31566 31569 22965 0 -1 1077944384 12672 12612 0 0 343 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155867551728 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10997500 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 21446 12612 0 0 236 5 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31641/stat : 31641 (java) S 31566 31569 22965 0 -1 1077944384 3 12612 0 0 0 0 7 3 20 0 20 0 9111832 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155865447392 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31642] ppid=31566 vsize=10997500 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31642/stat : 31642 (java) S 31566 31569 22965 0 -1 1077944384 1237 12612 0 0 74 56 7 3 20 0 20 0 9111832 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155864394928 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
Current children cumulated CPU time (s) 2386.04
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2336 s]
/proc/loadavg: 1.69 1.58 1.52 3/281 31877
/proc/meminfo: memFree=30210984/32770624 swapFree=5700/384712
[pid=31569] ppid=31566 vsize=10997500 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 203036 12612 0 0 239624 374 7 3 20 0 20 0 9111812 11261440000 206404 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2749375 206404 3521 1 0 2736930 0
[pid=31569/tid=31624] ppid=31566 vsize=10997500 CPUtime=2318.12 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31624/stat : 31624 (java) R 31566 31569 22965 0 -1 4202560 75684 12612 0 0 231766 36 7 3 20 0 20 0 9111823 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156403501456 140156021312864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31625] ppid=31566 vsize=10997500 CPUtime=7.7 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31625/stat : 31625 (java) S 31566 31569 22965 0 -1 1077944384 8040 12612 0 0 725 35 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156335959056 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31626] ppid=31566 vsize=10997500 CPUtime=7.82 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31626/stat : 31626 (java) S 31566 31569 22965 0 -1 1077944384 6281 12612 0 0 736 36 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156334906512 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31627] ppid=31566 vsize=10997500 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31627/stat : 31627 (java) S 31566 31569 22965 0 -1 1077944384 5488 12612 0 0 730 33 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156333853456 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31628] ppid=31566 vsize=10997500 CPUtime=7.77 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31628/stat : 31628 (java) S 31566 31569 22965 0 -1 1077944384 3989 12612 0 0 736 31 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156332800912 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31629] ppid=31566 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31629/stat : 31629 (java) S 31566 31569 22965 0 -1 1077944384 3229 12612 0 0 723 35 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156331747856 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31630] ppid=31566 vsize=10997500 CPUtime=7.71 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31630/stat : 31630 (java) S 31566 31569 22965 0 -1 1077944384 4224 12612 0 0 727 34 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156330695312 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31631] ppid=31566 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31631/stat : 31631 (java) S 31566 31569 22965 0 -1 1077944384 5075 12612 0 0 726 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156329642256 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31632] ppid=31566 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31632/stat : 31632 (java) S 31566 31569 22965 0 -1 1077944384 5003 12612 0 0 726 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156328589712 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31633] ppid=31566 vsize=10997500 CPUtime=6.81 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31633/stat : 31633 (java) S 31566 31569 22965 0 -1 1077944384 22187 12612 0 0 637 34 7 3 20 0 20 0 9111826 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155873868528 140156399278722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31634] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31634/stat : 31634 (java) S 31566 31569 22965 0 -1 1077944384 60 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155872814880 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31635] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31635/stat : 31635 (java) S 31566 31569 22965 0 -1 1077944384 47 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155871761664 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31636] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31636/stat : 31636 (java) S 31566 31569 22965 0 -1 1077944384 1 12612 0 0 0 0 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155870710224 140156399286171 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31637] ppid=31566 vsize=10997500 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31637/stat : 31637 (java) S 31566 31569 22965 0 -1 1077944384 12504 12612 0 0 329 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155869657328 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31638] ppid=31566 vsize=10997500 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) S 31566 31569 22965 0 -1 1077944384 13730 12612 0 0 362 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155868604784 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10997500 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) S 31566 31569 22965 0 -1 1077944384 12672 12612 0 0 343 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155867551728 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10997500 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 21446 12612 0 0 236 5 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31641/stat : 31641 (java) S 31566 31569 22965 0 -1 1077944384 3 12612 0 0 0 0 7 3 20 0 20 0 9111832 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155865447392 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31642] ppid=31566 vsize=10997500 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31642/stat : 31642 (java) S 31566 31569 22965 0 -1 1077944384 1239 12612 0 0 74 56 7 3 20 0 20 0 9111832 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155864394928 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31569 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2336 s]
/proc/loadavg: 1.69 1.58 1.52 3/281 31877
/proc/meminfo: memFree=30210984/32770624 swapFree=5700/384712
[pid=31569] ppid=31566 vsize=10997500 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/31569/stat : 31569 (java) S 31566 31569 22965 0 -1 1077944320 203036 12612 0 0 239624 374 7 3 20 0 20 0 9111812 11261440000 206404 33554432000 4194304 4196468 140725427714608 140725427697152 140156399267575 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
/proc/31569/statm: 2749375 206404 3521 1 0 2736930 0
[pid=31569/tid=31624] ppid=31566 vsize=10997500 CPUtime=2318.12 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31624/stat : 31624 (java) R 31566 31569 22965 0 -1 4202560 75684 12612 0 0 231766 36 7 3 20 0 20 0 9111823 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156403501456 140156021312864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31625] ppid=31566 vsize=10997500 CPUtime=7.7 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31625/stat : 31625 (java) S 31566 31569 22965 0 -1 1077944384 8040 12612 0 0 725 35 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156335959056 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31626] ppid=31566 vsize=10997500 CPUtime=7.82 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31626/stat : 31626 (java) S 31566 31569 22965 0 -1 1077944384 6281 12612 0 0 736 36 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156334906512 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31627] ppid=31566 vsize=10997500 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31627/stat : 31627 (java) S 31566 31569 22965 0 -1 1077944384 5488 12612 0 0 730 33 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156333853456 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31628] ppid=31566 vsize=10997500 CPUtime=7.77 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31628/stat : 31628 (java) S 31566 31569 22965 0 -1 1077944384 3989 12612 0 0 736 31 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156332800912 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31629] ppid=31566 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31629/stat : 31629 (java) S 31566 31569 22965 0 -1 1077944384 3229 12612 0 0 723 35 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156331747856 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31630] ppid=31566 vsize=10997500 CPUtime=7.71 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31630/stat : 31630 (java) S 31566 31569 22965 0 -1 1077944384 4224 12612 0 0 727 34 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156330695312 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31631] ppid=31566 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31631/stat : 31631 (java) S 31566 31569 22965 0 -1 1077944384 5075 12612 0 0 726 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156329642256 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31632] ppid=31566 vsize=10997500 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31632/stat : 31632 (java) S 31566 31569 22965 0 -1 1077944384 5003 12612 0 0 726 32 7 3 20 0 20 0 9111824 11261440000 206404 33554432000 4194304 4196468 140725427714608 140156328589712 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31633] ppid=31566 vsize=10997500 CPUtime=6.81 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31633/stat : 31633 (java) S 31566 31569 22965 0 -1 1077944384 22187 12612 0 0 637 34 7 3 20 0 20 0 9111826 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155873868528 140156399278722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31634] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31634/stat : 31634 (java) S 31566 31569 22965 0 -1 1077944384 60 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155872814880 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31635] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31635/stat : 31635 (java) S 31566 31569 22965 0 -1 1077944384 47 12612 0 0 0 0 7 3 20 0 20 0 9111827 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155871761664 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31636] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31636/stat : 31636 (java) S 31566 31569 22965 0 -1 1077944384 1 12612 0 0 0 0 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155870710224 140156399286171 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31637] ppid=31566 vsize=10997500 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31637/stat : 31637 (java) S 31566 31569 22965 0 -1 1077944384 12504 12612 0 0 329 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155869657328 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31638] ppid=31566 vsize=10997500 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31638/stat : 31638 (java) S 31566 31569 22965 0 -1 1077944384 13730 12612 0 0 362 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155868604784 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31639] ppid=31566 vsize=10997500 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31639/stat : 31639 (java) S 31566 31569 22965 0 -1 1077944384 12672 12612 0 0 343 3 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155867551728 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31640] ppid=31566 vsize=10997500 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31640/stat : 31640 (java) S 31566 31569 22965 0 -1 1077944384 21446 12612 0 0 236 5 7 3 20 0 20 0 9111831 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155866499184 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31641] ppid=31566 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31641/stat : 31641 (java) S 31566 31569 22965 0 -1 1077944384 3 12612 0 0 0 0 7 3 20 0 20 0 9111832 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155865447392 140156399277781 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
[pid=31569/tid=31642] ppid=31566 vsize=10997500 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/31569/task/31642/stat : 31642 (java) S 31566 31569 22965 0 -1 1077944384 1239 12612 0 0 74 56 7 3 20 0 20 0 9111832 11261440000 206404 33554432000 4194304 4196468 140725427714608 140155864394928 140156399278722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140725427718849 140725427721623 140725427721623 140725427724239 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2336.03
CPU time (s): 2400.13
CPU user time (s): 2396.33
CPU system time (s): 3.79513
CPU usage (%): 102.744
Max. virtual memory (cumulated for all children) (KiB): 10999600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.33
system time used= 3.79513
maximum resident set size= 958164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279348
involuntary context switches= 174906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0444 second user time and 19.5045 second system time
The end