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-4100410-1466209689/watcher-4100410-1466209689 -o /tmp/evaluation-result-4100410-1466209689/solver-4100410-1466209689 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100410-1466209689.opb
pid=18735
running on 8 cores: 0-3,8-11
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: 4.10 4.16 3.99 4/284 18738
/proc/meminfo: memFree=30399940/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=91816 CPUtime=0 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 23013489 94019584 917 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 4096 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 22954 917 697 9 0 16769 0
[pid=18738/tid=18739] ppid=18735 vsize=91816 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) D 18735 18738 15292 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 23013490 94019584 917 33554432000 1073741824 1073778376 140736785235840 140447432052264 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 9 0 0 0 0 0
[startup+0.100148 s]
/proc/loadavg: 4.10 4.16 3.99 4/284 18738
/proc/meminfo: memFree=30399940/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=9896436 CPUtime=0.1 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 4459 0 1 0 9 1 0 0 20 0 23 0 23013489 10133950464 6085 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2474109 6085 2126 9 0 2464786 0
[pid=18738/tid=18739] ppid=18735 vsize=9896436 CPUtime=0.06 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) R 18735 18738 15292 0 -1 4202560 2431 0 1 0 6 0 0 0 20 0 23 0 23013490 10133950464 6085 33554432000 1073741824 1073778376 140736785235840 140447432055712 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436
[startup+0.200269 s]
/proc/loadavg: 4.10 4.16 3.99 4/284 18738
/proc/meminfo: memFree=30399940/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=9896436 CPUtime=0.27 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 5056 0 1 0 26 1 0 0 20 0 23 0 23013489 10133950464 7559 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2474109 7559 2204 9 0 2464786 0
[pid=18738/tid=18739] ppid=18735 vsize=9896436 CPUtime=0.16 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) R 18735 18738 15292 0 -1 4202560 2450 0 1 0 16 0 0 0 20 0 23 0 23013490 10133950464 7559 33554432000 1073741824 1073778376 140736785235840 140447432055712 140447435342739 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9896436
[startup+0.300271 s]
/proc/loadavg: 4.10 4.16 3.99 4/284 18738
/proc/meminfo: memFree=30399940/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=9896436 CPUtime=0.57 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 12865 0 1 0 55 2 0 0 20 0 23 0 23013489 10133950464 13557 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2474109 13557 2223 9 0 2464786 0
[pid=18738/tid=18739] ppid=18735 vsize=9896436 CPUtime=0.26 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) R 18735 18738 15292 0 -1 4202560 2452 0 1 0 26 0 0 0 20 0 23 0 23013490 10133950464 13557 33554432000 1073741824 1073778376 140736785235840 140447432055712 140447435342743 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9896436
[startup+0.700236 s]
/proc/loadavg: 4.10 4.16 3.99 4/284 18738
/proc/meminfo: memFree=30399940/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=9896436 CPUtime=1.61 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 14141 0 1 0 141 20 0 0 20 0 23 0 23013489 10133950464 51607 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2474109 51607 2256 9 0 2464786 0
[pid=18738/tid=18739] ppid=18735 vsize=9896436 CPUtime=0.62 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) S 18735 18738 15292 0 -1 4202560 2513 0 1 0 59 3 0 0 20 0 23 0 23013490 10133950464 51607 33554432000 1073741824 1073778376 140736785235840 140447432055320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9896436
[startup+1.50141 s]
/proc/loadavg: 4.10 4.16 3.99 4/307 18761
/proc/meminfo: memFree=30136756/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=10162692 CPUtime=3.96 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 15341 0 1 0 340 56 0 0 20 0 27 0 23013489 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2540673 92683 2276 9 0 2531350 0
[pid=18738/tid=18739] ppid=18735 vsize=10162692 CPUtime=1 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) S 18735 18738 15292 0 -1 4202560 2552 0 1 0 97 3 0 0 20 0 27 0 23013490 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447432057720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18741] ppid=18735 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/18738/task/18741/stat : 18741 (java) S 18735 18738 15292 0 -1 4202560 98 0 0 0 6 6 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447393549096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18742] ppid=18735 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/18738/task/18742/stat : 18742 (java) S 18735 18738 15292 0 -1 4202560 103 0 0 0 6 7 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447392496296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18743] ppid=18735 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/18738/task/18743/stat : 18743 (java) S 18735 18738 15292 0 -1 4202560 92 0 0 0 6 6 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447391444008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18744] ppid=18735 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/18738/task/18744/stat : 18744 (java) S 18735 18738 15292 0 -1 4202560 68 0 0 0 2 3 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447390391208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18745] ppid=18735 vsize=10162692 CPUtime=0.04 cores=0-3,8-11
/proc/18738/task/18745/stat : 18745 (java) S 18735 18738 15292 0 -1 4202560 27 0 0 0 2 2 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447389337896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18746] ppid=18735 vsize=10162692 CPUtime=0.04 cores=0-3,8-11
/proc/18738/task/18746/stat : 18746 (java) S 18735 18738 15292 0 -1 4202560 57 0 0 0 2 2 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447388285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18747] ppid=18735 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/18738/task/18747/stat : 18747 (java) S 18735 18738 15292 0 -1 4202560 28 0 0 0 2 3 0 0 20 0 27 0 23013491 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447387232808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18748] ppid=18735 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/18738/task/18748/stat : 18748 (java) S 18735 18738 15292 0 -1 4202560 78 0 0 0 2 3 0 0 20 0 27 0 23013492 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447386180008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18749] ppid=18735 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/18738/task/18749/stat : 18749 (java) S 18735 18738 15292 0 -1 4202560 30 0 0 0 2 3 0 0 20 0 27 0 23013492 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447385127720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18750] ppid=18735 vsize=10162692 CPUtime=0.09 cores=0-3,8-11
/proc/18738/task/18750/stat : 18750 (java) S 18735 18738 15292 0 -1 4202560 73 0 0 0 4 5 0 0 20 0 27 0 23013492 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447384074920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18751] ppid=18735 vsize=10162692 CPUtime=0.09 cores=0-3,8-11
/proc/18738/task/18751/stat : 18751 (java) S 18735 18738 15292 0 -1 4202560 83 0 0 0 4 5 0 0 20 0 27 0 23013492 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447383022632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18752] ppid=18735 vsize=10162692 CPUtime=0.04 cores=0-3,8-11
/proc/18738/task/18752/stat : 18752 (java) S 18735 18738 15292 0 -1 4202560 24 0 0 0 1 3 0 0 20 0 27 0 23013492 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447381969832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18753] ppid=18735 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/18738/task/18753/stat : 18753 (java) S 18735 18738 15292 0 -1 4202560 21 0 0 0 1 2 0 0 20 0 27 0 23013492 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447380916520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18754] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18754/stat : 18754 (java) S 18735 18738 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447245604968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18755] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18755/stat : 18755 (java) S 18735 18738 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140447244551544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18756] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18756/stat : 18756 (java) S 18735 18738 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140446235878536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18757] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18757/stat : 18757 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140446234827536 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18758] ppid=18735 vsize=10162692 CPUtime=0.62 cores=0-3,8-11
/proc/18738/task/18758/stat : 18758 (java) R 18735 18738 15292 0 -1 4202560 4475 0 0 0 62 0 0 0 20 0 27 0 23013495 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140446233774648 140447439043697 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18759] ppid=18735 vsize=10162692 CPUtime=0.57 cores=0-3,8-11
/proc/18738/task/18759/stat : 18759 (java) R 18735 18738 15292 0 -1 4202560 6119 0 0 0 57 0 0 0 20 0 27 0 23013495 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140446232722360 140447439034722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18760] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18760/stat : 18760 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140446231669752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18761] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18761/stat : 18761 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 92683 33554432000 1073741824 1073778376 140736785235840 140446230616648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10162692
[startup+3.10165 s]
/proc/loadavg: 4.02 4.14 3.99 3/283 18767
/proc/meminfo: memFree=31614588/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=10162692 CPUtime=7.91 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 15631 0 1 0 721 70 0 0 20 0 27 0 23013489 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2540673 103604 2277 9 0 2531350 0
[pid=18738/tid=18739] ppid=18735 vsize=10162692 CPUtime=1 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) S 18735 18738 15292 0 -1 4202560 2552 0 1 0 97 3 0 0 20 0 27 0 23013490 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447432057720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18741] ppid=18735 vsize=10162692 CPUtime=0.14 cores=0-3,8-11
/proc/18738/task/18741/stat : 18741 (java) S 18735 18738 15292 0 -1 4202560 103 0 0 0 7 7 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447393549096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18742] ppid=18735 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/18738/task/18742/stat : 18742 (java) S 18735 18738 15292 0 -1 4202560 120 0 0 0 9 9 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447392496296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18743] ppid=18735 vsize=10162692 CPUtime=0.14 cores=0-3,8-11
/proc/18738/task/18743/stat : 18743 (java) S 18735 18738 15292 0 -1 4202560 103 0 0 0 7 7 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447391444008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18744] ppid=18735 vsize=10162692 CPUtime=0.06 cores=0-3,8-11
/proc/18738/task/18744/stat : 18744 (java) S 18735 18738 15292 0 -1 4202560 77 0 0 0 2 4 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447390391208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18745] ppid=18735 vsize=10162692 CPUtime=0.07 cores=0-3,8-11
/proc/18738/task/18745/stat : 18745 (java) S 18735 18738 15292 0 -1 4202560 40 0 0 0 3 4 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447389337896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18746] ppid=18735 vsize=10162692 CPUtime=0.09 cores=0-3,8-11
/proc/18738/task/18746/stat : 18746 (java) S 18735 18738 15292 0 -1 4202560 76 0 0 0 5 4 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447388285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18747] ppid=18735 vsize=10162692 CPUtime=0.09 cores=0-3,8-11
/proc/18738/task/18747/stat : 18747 (java) S 18735 18738 15292 0 -1 4202560 44 0 0 0 5 4 0 0 20 0 27 0 23013491 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447387232808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18748] ppid=18735 vsize=10162692 CPUtime=0.1 cores=0-3,8-11
/proc/18738/task/18748/stat : 18748 (java) S 18735 18738 15292 0 -1 4202560 98 0 0 0 5 5 0 0 20 0 27 0 23013492 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447386180008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18749] ppid=18735 vsize=10162692 CPUtime=0.06 cores=0-3,8-11
/proc/18738/task/18749/stat : 18749 (java) S 18735 18738 15292 0 -1 4202560 43 0 0 0 2 4 0 0 20 0 27 0 23013492 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447385127720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18750] ppid=18735 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/18738/task/18750/stat : 18750 (java) S 18735 18738 15292 0 -1 4202560 82 0 0 0 6 6 0 0 20 0 27 0 23013492 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447384074920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18751] ppid=18735 vsize=10162692 CPUtime=0.1 cores=0-3,8-11
/proc/18738/task/18751/stat : 18751 (java) S 18735 18738 15292 0 -1 4202560 88 0 0 0 5 5 0 0 20 0 27 0 23013492 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447383022632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18752] ppid=18735 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/18738/task/18752/stat : 18752 (java) S 18735 18738 15292 0 -1 4202560 32 0 0 0 2 3 0 0 20 0 27 0 23013492 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447381969832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18753] ppid=18735 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/18738/task/18753/stat : 18753 (java) S 18735 18738 15292 0 -1 4202560 32 0 0 0 2 3 0 0 20 0 27 0 23013492 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447380916520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18754] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18754/stat : 18754 (java) S 18735 18738 15292 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447245604968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18755] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18755/stat : 18755 (java) S 18735 18738 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140447244551544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18756] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18756/stat : 18756 (java) S 18735 18738 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446235878536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18757] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18757/stat : 18757 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446234827536 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18758] ppid=18735 vsize=10162692 CPUtime=0.8 cores=0-3,8-11
/proc/18738/task/18758/stat : 18758 (java) S 18735 18738 15292 0 -1 4202560 4475 0 0 0 80 0 0 0 20 0 27 0 23013495 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446233774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18759] ppid=18735 vsize=10162692 CPUtime=0.88 cores=0-3,8-11
/proc/18738/task/18759/stat : 18759 (java) S 18735 18738 15292 0 -1 4202560 6120 0 0 0 88 0 0 0 20 0 27 0 23013495 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446232722360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18760] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18760/stat : 18760 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446231669752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18761] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18761/stat : 18761 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446230616648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18762] ppid=18735 vsize=10162692 CPUtime=1.85 cores=0-3,8-11
/proc/18738/task/18762/stat : 18762 (java) R 18735 18738 15292 0 -1 4202560 26 0 0 0 185 0 0 0 20 0 27 0 23013608 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446229561576 140447260153934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18763] ppid=18735 vsize=10162692 CPUtime=1.84 cores=0-3,8-11
/proc/18738/task/18763/stat : 18763 (java) R 18735 18738 15292 0 -1 4202560 55 0 0 0 184 0 0 0 20 0 27 0 23013608 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446228507192 140447260332913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18764] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18764/stat : 18764 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446227457064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18765] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18765/stat : 18765 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 103604 33554432000 1073741824 1073778376 140736785235840 140446226404776 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 10162692
[startup+6.30113 s]
/proc/loadavg: 4.02 4.14 3.99 5/311 18839
/proc/meminfo: memFree=30919500/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=10162692 CPUtime=14.84 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 15826 0 1 0 1401 83 0 0 20 0 27 0 23013489 10406596608 110781 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2540673 110781 2277 9 0 2531350 0
[pid=18738/tid=18739] ppid=18735 vsize=10162692 CPUtime=1 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) S 18735 18738 15292 0 -1 4202560 2552 0 1 0 97 3 0 0 20 0 27 0 23013490 10406596608 110781 33554432000 1073741824 1073778376 140736785235840 140447432057720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18741] ppid=18735 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/18738/task/18741/stat : 18741 (java) S 18735 18738 15292 0 -1 4202560 107 0 0 0 8 7 0 0 20 0 27 0 23013491 10406596608 110781 33554432000 1073741824 1073778376 140736785235840 140447393549096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18742] ppid=18735 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
################
# More data... #
################
/proc/18738/task/18758/stat : 18758 (java) S 18735 18738 15292 0 -1 4202560 4883 0 0 0 132 1 0 0 20 0 27 0 23013495 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446233774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18759] ppid=18735 vsize=10162692 CPUtime=1.76 cores=0-3,8-11
/proc/18738/task/18759/stat : 18759 (java) S 18735 18738 15292 0 -1 4202560 6162 0 0 0 176 0 0 0 20 0 27 0 23013495 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446232722360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18760] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18760/stat : 18760 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446231669752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18761] ppid=18735 vsize=10162692 CPUtime=0.25 cores=0-3,8-11
/proc/18738/task/18761/stat : 18761 (java) S 18735 18738 15292 0 -1 4202560 43 0 0 0 12 13 0 0 20 0 27 0 23013495 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446230616648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18762] ppid=18735 vsize=10162692 CPUtime=745.18 cores=0-3,8-11
/proc/18738/task/18762/stat : 18762 (java) R 18735 18738 15292 0 -1 4202560 1599 0 0 0 74493 25 0 0 20 0 27 0 23013608 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446229552784 140447260101132 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18763] ppid=18735 vsize=10162692 CPUtime=745.15 cores=0-3,8-11
/proc/18738/task/18763/stat : 18763 (java) R 18735 18738 15292 0 -1 4202560 247 0 0 0 74498 17 0 0 20 0 27 0 23013608 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446228507840 140447260133868 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18764] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18764/stat : 18764 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446227457064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18765] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18765/stat : 18765 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 1258883 33554432000 1073741824 1073778376 140736785235840 140446226404776 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1556.98
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 4.03 4.09 4.03 5/311 18862
/proc/meminfo: memFree=24510932/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=10162692 CPUtime=1680.25 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 105656 0 1 0 166285 1740 0 0 20 0 27 0 23013489 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2540673 1282043 2291 9 0 2531350 0
[pid=18738/tid=18739] ppid=18735 vsize=10162692 CPUtime=1.03 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) S 18735 18738 15292 0 -1 4202560 2578 0 1 0 99 4 0 0 20 0 27 0 23013490 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447432057720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18741] ppid=18735 vsize=10162692 CPUtime=4.43 cores=0-3,8-11
/proc/18738/task/18741/stat : 18741 (java) S 18735 18738 15292 0 -1 4202560 6226 0 0 0 306 137 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447393549096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18742] ppid=18735 vsize=10162692 CPUtime=4.34 cores=0-3,8-11
/proc/18738/task/18742/stat : 18742 (java) S 18735 18738 15292 0 -1 4202560 6687 0 0 0 303 131 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447392496296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18743] ppid=18735 vsize=10162692 CPUtime=4.06 cores=0-3,8-11
/proc/18738/task/18743/stat : 18743 (java) S 18735 18738 15292 0 -1 4202560 6332 0 0 0 291 115 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447391444008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18744] ppid=18735 vsize=10162692 CPUtime=4.18 cores=0-3,8-11
/proc/18738/task/18744/stat : 18744 (java) S 18735 18738 15292 0 -1 4202560 5965 0 0 0 265 153 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447390391208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18745] ppid=18735 vsize=10162692 CPUtime=4.16 cores=0-3,8-11
/proc/18738/task/18745/stat : 18745 (java) S 18735 18738 15292 0 -1 4202560 4555 0 0 0 290 126 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447389337896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18746] ppid=18735 vsize=10162692 CPUtime=4.71 cores=0-3,8-11
/proc/18738/task/18746/stat : 18746 (java) S 18735 18738 15292 0 -1 4202560 7346 0 0 0 328 143 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447388285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18747] ppid=18735 vsize=10162692 CPUtime=4.09 cores=0-3,8-11
/proc/18738/task/18747/stat : 18747 (java) S 18735 18738 15292 0 -1 4202560 4662 0 0 0 283 126 0 0 20 0 27 0 23013491 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447387232808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18748] ppid=18735 vsize=10162692 CPUtime=4.41 cores=0-3,8-11
/proc/18738/task/18748/stat : 18748 (java) S 18735 18738 15292 0 -1 4202560 8413 0 0 0 306 135 0 0 20 0 27 0 23013492 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447386180008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18749] ppid=18735 vsize=10162692 CPUtime=3.91 cores=0-3,8-11
/proc/18738/task/18749/stat : 18749 (java) S 18735 18738 15292 0 -1 4202560 5412 0 0 0 292 99 0 0 20 0 27 0 23013492 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447385127720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18750] ppid=18735 vsize=10162692 CPUtime=3.92 cores=0-3,8-11
/proc/18738/task/18750/stat : 18750 (java) S 18735 18738 15292 0 -1 4202560 7561 0 0 0 277 115 0 0 20 0 27 0 23013492 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447384074920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18751] ppid=18735 vsize=10162692 CPUtime=4.37 cores=0-3,8-11
/proc/18738/task/18751/stat : 18751 (java) S 18735 18738 15292 0 -1 4202560 8628 0 0 0 278 159 0 0 20 0 27 0 23013492 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447383022632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18752] ppid=18735 vsize=10162692 CPUtime=4.3 cores=0-3,8-11
/proc/18738/task/18752/stat : 18752 (java) S 18735 18738 15292 0 -1 4202560 7361 0 0 0 304 126 0 0 20 0 27 0 23013492 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447381969832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18753] ppid=18735 vsize=10162692 CPUtime=4.34 cores=0-3,8-11
/proc/18738/task/18753/stat : 18753 (java) S 18735 18738 15292 0 -1 4202560 6280 0 0 0 310 124 0 0 20 0 27 0 23013492 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447380916520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18754] ppid=18735 vsize=10162692 CPUtime=7.47 cores=0-3,8-11
/proc/18738/task/18754/stat : 18754 (java) S 18735 18738 15292 0 -1 4202560 3445 0 0 0 741 6 0 0 20 0 27 0 23013493 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447245604968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18738/tid=18755] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18755/stat : 18755 (java) S 18735 18738 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140447244551544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18756] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18756/stat : 18756 (java) S 18735 18738 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446235878536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18757] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18757/stat : 18757 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446234827536 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18758] ppid=18735 vsize=10162692 CPUtime=1.33 cores=0-3,8-11
/proc/18738/task/18758/stat : 18758 (java) S 18735 18738 15292 0 -1 4202560 4883 0 0 0 132 1 0 0 20 0 27 0 23013495 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446233774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18759] ppid=18735 vsize=10162692 CPUtime=1.76 cores=0-3,8-11
/proc/18738/task/18759/stat : 18759 (java) S 18735 18738 15292 0 -1 4202560 6162 0 0 0 176 0 0 0 20 0 27 0 23013495 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446232722360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18760] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18760/stat : 18760 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446231669752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18761] ppid=18735 vsize=10162692 CPUtime=0.27 cores=0-3,8-11
/proc/18738/task/18761/stat : 18761 (java) S 18735 18738 15292 0 -1 4202560 47 0 0 0 13 14 0 0 20 0 27 0 23013495 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446230616648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18762] ppid=18735 vsize=10162692 CPUtime=804.46 cores=0-3,8-11
/proc/18738/task/18762/stat : 18762 (java) R 18735 18738 15292 0 -1 4202560 1599 0 0 0 80420 26 0 0 20 0 27 0 23013608 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446229559768 140447259953824 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18763] ppid=18735 vsize=10162692 CPUtime=804.43 cores=0-3,8-11
/proc/18738/task/18763/stat : 18763 (java) R 18735 18738 15292 0 -1 4202560 247 0 0 0 80425 18 0 0 20 0 27 0 23013608 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446228507760 140447260133924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18764] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18764/stat : 18764 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446227457064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18765] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18765/stat : 18765 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 1282043 33554432000 1073741824 1073778376 140736785235840 140446226404776 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1680.25
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+880.701 s]
/proc/loadavg: 3.96 4.06 4.02 5/311 18863
/proc/meminfo: memFree=23950672/32872528 swapFree=7804/7804
[pid=18738] ppid=18735 vsize=10162692 CPUtime=1800.16 cores=0-3,8-11
/proc/18738/stat : 18738 (java) S 18735 18738 15292 0 -1 4202496 108297 0 1 0 177941 2075 0 0 20 0 27 0 23013489 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140736785226976 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18738/statm: 2540673 1447766 2291 9 0 2531350 0
[pid=18738/tid=18739] ppid=18735 vsize=10162692 CPUtime=1.03 cores=0-3,8-11
/proc/18738/task/18739/stat : 18739 (java) S 18735 18738 15292 0 -1 4202560 2579 0 1 0 99 4 0 0 20 0 27 0 23013490 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447432057720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18741] ppid=18735 vsize=10162692 CPUtime=4.8 cores=0-3,8-11
/proc/18738/task/18741/stat : 18741 (java) S 18735 18738 15292 0 -1 4202560 6384 0 0 0 319 161 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447393549096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18742] ppid=18735 vsize=10162692 CPUtime=4.69 cores=0-3,8-11
/proc/18738/task/18742/stat : 18742 (java) S 18735 18738 15292 0 -1 4202560 6851 0 0 0 317 152 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447392496296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18743] ppid=18735 vsize=10162692 CPUtime=4.42 cores=0-3,8-11
/proc/18738/task/18743/stat : 18743 (java) S 18735 18738 15292 0 -1 4202560 6490 0 0 0 304 138 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447391444008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18744] ppid=18735 vsize=10162692 CPUtime=4.6 cores=0-3,8-11
/proc/18738/task/18744/stat : 18744 (java) S 18735 18738 15292 0 -1 4202560 6105 0 0 0 285 175 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447390391208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18745] ppid=18735 vsize=10162692 CPUtime=4.62 cores=0-3,8-11
/proc/18738/task/18745/stat : 18745 (java) S 18735 18738 15292 0 -1 4202560 4771 0 0 0 303 159 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447389337896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18746] ppid=18735 vsize=10162692 CPUtime=5.16 cores=0-3,8-11
/proc/18738/task/18746/stat : 18746 (java) S 18735 18738 15292 0 -1 4202560 7527 0 0 0 344 172 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447388285096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18747] ppid=18735 vsize=10162692 CPUtime=4.61 cores=0-3,8-11
/proc/18738/task/18747/stat : 18747 (java) S 18735 18738 15292 0 -1 4202560 4885 0 0 0 302 159 0 0 20 0 27 0 23013491 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447387232808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18748] ppid=18735 vsize=10162692 CPUtime=4.76 cores=0-3,8-11
/proc/18738/task/18748/stat : 18748 (java) S 18735 18738 15292 0 -1 4202560 8584 0 0 0 317 159 0 0 20 0 27 0 23013492 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447386180008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18749] ppid=18735 vsize=10162692 CPUtime=4.31 cores=0-3,8-11
/proc/18738/task/18749/stat : 18749 (java) S 18735 18738 15292 0 -1 4202560 5576 0 0 0 307 124 0 0 20 0 27 0 23013492 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447385127720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18750] ppid=18735 vsize=10162692 CPUtime=4.31 cores=0-3,8-11
/proc/18738/task/18750/stat : 18750 (java) S 18735 18738 15292 0 -1 4202560 7664 0 0 0 304 127 0 0 20 0 27 0 23013492 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447384074920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=18738/tid=18751] ppid=18735 vsize=10162692 CPUtime=4.86 cores=0-3,8-11
/proc/18738/task/18751/stat : 18751 (java) S 18735 18738 15292 0 -1 4202560 8829 0 0 0 298 188 0 0 20 0 27 0 23013492 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447383022632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18752] ppid=18735 vsize=10162692 CPUtime=4.74 cores=0-3,8-11
/proc/18738/task/18752/stat : 18752 (java) S 18735 18738 15292 0 -1 4202560 7565 0 0 0 323 151 0 0 20 0 27 0 23013492 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447381969832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18753] ppid=18735 vsize=10162692 CPUtime=4.88 cores=0-3,8-11
/proc/18738/task/18753/stat : 18753 (java) S 18735 18738 15292 0 -1 4202560 6524 0 0 0 327 161 0 0 20 0 27 0 23013492 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447380916520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18754] ppid=18735 vsize=10162692 CPUtime=8.39 cores=0-3,8-11
/proc/18738/task/18754/stat : 18754 (java) S 18735 18738 15292 0 -1 4202560 3754 0 0 0 833 6 0 0 20 0 27 0 23013493 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447245604968 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18755] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18755/stat : 18755 (java) S 18735 18738 15292 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140447244551544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18756] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18756/stat : 18756 (java) S 18735 18738 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23013493 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446235878536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18757] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18757/stat : 18757 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446234827536 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18738/tid=18758] ppid=18735 vsize=10162692 CPUtime=1.33 cores=0-3,8-11
/proc/18738/task/18758/stat : 18758 (java) S 18735 18738 15292 0 -1 4202560 4883 0 0 0 132 1 0 0 20 0 27 0 23013495 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446233774648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18759] ppid=18735 vsize=10162692 CPUtime=1.76 cores=0-3,8-11
/proc/18738/task/18759/stat : 18759 (java) S 18735 18738 15292 0 -1 4202560 6162 0 0 0 176 0 0 0 20 0 27 0 23013495 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446232722360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18760] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18760/stat : 18760 (java) S 18735 18738 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23013495 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446231669752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=18738/tid=18761] ppid=18735 vsize=10162692 CPUtime=0.29 cores=0-3,8-11
/proc/18738/task/18761/stat : 18761 (java) S 18735 18738 15292 0 -1 4202560 51 0 0 0 14 15 0 0 20 0 27 0 23013495 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446230616648 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18738/tid=18762] ppid=18735 vsize=10162692 CPUtime=861.08 cores=0-3,8-11
/proc/18738/task/18762/stat : 18762 (java) R 18735 18738 15292 0 -1 4202560 1599 0 0 0 86081 27 0 0 20 0 27 0 23013608 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446229559648 140447260138755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18738/tid=18763] ppid=18735 vsize=10162692 CPUtime=861.06 cores=0-3,8-11
/proc/18738/task/18763/stat : 18763 (java) R 18735 18738 15292 0 -1 4202560 247 0 0 0 86087 19 0 0 20 0 27 0 23013608 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446228507728 140447260133949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18738/tid=18764] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18764/stat : 18764 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446227457064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=18738/tid=18765] ppid=18735 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/18738/task/18765/stat : 18765 (java) S 18735 18738 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23013610 10406596608 1447766 33554432000 1073741824 1073778376 140736785235840 140446226404776 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10162692
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 18738 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18738 and gives
# childrusage.ru_utime.tv_sec=1774
# childrusage.ru_utime.tv_usec=992160
# childrusage.ru_stime.tv_sec=21
# childrusage.ru_stime.tv_usec=208775
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 880.765
CPU time (s): 1800.16
CPU user time (s): 1779.41
CPU system time (s): 20.75
CPU usage (%): 204.386
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.99
system time used= 21.2088
maximum resident set size= 5791188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108338
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29400
involuntary context switches= 10144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52386 second user time and 9.8555 second system time
The end