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-4095844-1466098132/watcher-4095844-1466098132 -o /tmp/evaluation-result-4095844-1466098132/solver-4095844-1466098132 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466098131-17934 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095844-1466098132.opb
pid=17960
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: 1.94 2.01 1.99 3/257 17963
/proc/meminfo: memFree=32032672/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=97336 CPUtime=0 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 1400 0 0 0 0 0 0 0 20 0 2 0 11857756 99672064 1021 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 24875 1032 790 9 0 16774 0
[pid=17963/tid=17966] ppid=17960 vsize=101528 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 2 0 11857757 103964672 1041 33554432000 1073741824 1073778376 140737054669520 140627564757688 216808696215 0 0 0 16784584 0 0 0 -1 9 0 0 0 0 0
[startup+0.10013 s]
/proc/loadavg: 1.94 2.01 1.99 3/257 17963
/proc/meminfo: memFree=32032672/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9896436 CPUtime=0.1 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 4527 0 1 0 9 1 0 0 20 0 23 0 11857756 10133950464 5646 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2474109 5646 2140 9 0 2464786 0
[pid=17963/tid=17966] ppid=17960 vsize=9896436 CPUtime=0.07 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2474 0 1 0 7 0 0 0 20 0 23 0 11857757 10133950464 5646 33554432000 1073741824 1073778376 140737054669520 140627564761208 140627567564797 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.20027 s]
/proc/loadavg: 1.94 2.01 1.99 3/257 17963
/proc/meminfo: memFree=32032672/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=0.31 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 6668 0 1 0 29 2 0 0 20 0 24 0 11857756 10202112000 7449 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 7449 2235 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=0.17 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2496 0 1 0 17 0 0 0 20 0 24 0 11857757 10202112000 7449 33554432000 1073741824 1073778376 140737054669520 140627564761728 140627568046995 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9963000
[startup+0.300344 s]
/proc/loadavg: 1.94 2.01 1.99 3/257 17963
/proc/meminfo: memFree=32032672/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=0.53 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 7234 0 1 0 51 2 0 0 20 0 24 0 11857756 10202112000 7420 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 7420 2238 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=0.27 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2496 0 1 0 27 0 0 0 20 0 24 0 11857757 10202112000 7420 33554432000 1073741824 1073778376 140737054669520 140627564761728 140627504475756 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9963000
[startup+0.700297 s]
/proc/loadavg: 1.94 2.01 1.99 3/257 17963
/proc/meminfo: memFree=32032672/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=1.11 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 10030 0 1 0 108 3 0 0 20 0 24 0 11857756 10202112000 9027 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 9027 2249 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=0.67 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2497 0 1 0 67 0 0 0 20 0 24 0 11857757 10202112000 9027 33554432000 1073741824 1073778376 140737054669520 140627564761728 140627504918112 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9963000
[startup+1.50088 s]
/proc/loadavg: 1.94 2.01 1.99 5/305 18011
/proc/meminfo: memFree=31957976/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=1.93 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 10038 0 1 0 190 3 0 0 20 0 24 0 11857756 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 9545 2250 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=1.47 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2499 0 1 0 147 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627564761368 140627504919467 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17968] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17968/stat : 17968 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627503491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17969] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17969/stat : 17969 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627502439208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17970] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17970/stat : 17970 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627501386664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17971] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17971/stat : 17971 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627500334120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17972] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17972/stat : 17972 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627499280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17973] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17973/stat : 17973 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627498228008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17974] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17974/stat : 17974 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627402242472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17975] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17975/stat : 17975 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627401189928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17976] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17976/stat : 17976 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627400137384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=17978] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17978/stat : 17978 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627399084840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17979] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17979/stat : 17979 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627398032296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17981] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17981/stat : 17981 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627396979752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=17984] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17984/stat : 17984 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857758 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627395926184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17994] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17994/stat : 17994 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627378465000 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=17996] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17996/stat : 17996 (java) S 17960 17963 17918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627377411320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17997] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17997/stat : 17997 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627376358664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18001] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18001/stat : 18001 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627375307408 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18003] ppid=17960 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/17963/task/18003/stat : 18003 (java) S 17960 17963 17918 0 -1 4202560 3039 0 0 0 22 0 0 0 20 0 24 0 11857761 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627374254776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18005] ppid=17960 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/17963/task/18005/stat : 18005 (java) S 17960 17963 17918 0 -1 4202560 3214 0 0 0 19 0 0 0 20 0 24 0 11857761 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627373202232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18007] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18007/stat : 18007 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627372149880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18009] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18009/stat : 18009 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627371096520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=18011] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18011/stat : 18011 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857771 10202112000 9545 33554432000 1073741824 1073778376 140737054669520 140627369943976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9963000
[startup+3.10095 s]
/proc/loadavg: 1.95 2.01 1.99 3/304 18080
/proc/meminfo: memFree=31981192/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=3.53 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 10042 0 1 0 350 3 0 0 20 0 24 0 11857756 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 11081 2250 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=3.06 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2503 0 1 0 305 1 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627564761472 140627504919467 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17968] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17968/stat : 17968 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627503491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17969] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17969/stat : 17969 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627502439208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17970] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17970/stat : 17970 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627501386664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17971] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17971/stat : 17971 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627500334120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17972] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17972/stat : 17972 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627499280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17973] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17973/stat : 17973 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627498228008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17974] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17974/stat : 17974 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627402242472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17975] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17975/stat : 17975 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627401189928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17976] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17976/stat : 17976 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627400137384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=17978] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17978/stat : 17978 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627399084840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17979] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17979/stat : 17979 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627398032296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17981] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17981/stat : 17981 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627396979752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=17984] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17984/stat : 17984 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857758 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627395926184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17994] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17994/stat : 17994 (java) S 17960 17963 17918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627378465000 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=17996] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17996/stat : 17996 (java) S 17960 17963 17918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627377411320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17997] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17997/stat : 17997 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627376358664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18001] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18001/stat : 18001 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627375307408 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18003] ppid=17960 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/17963/task/18003/stat : 18003 (java) S 17960 17963 17918 0 -1 4202560 3039 0 0 0 22 0 0 0 20 0 24 0 11857761 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627374254776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18005] ppid=17960 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/17963/task/18005/stat : 18005 (java) S 17960 17963 17918 0 -1 4202560 3214 0 0 0 19 0 0 0 20 0 24 0 11857761 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627373202232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18007] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18007/stat : 18007 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627372149880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18009] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18009/stat : 18009 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627371096520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=18011] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18011/stat : 18011 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857771 10202112000 11081 33554432000 1073741824 1073778376 140737054669520 140627369943976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9963000
[startup+6.30095 s]
/proc/loadavg: 1.95 2.01 1.99 3/305 18081
/proc/meminfo: memFree=31949552/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=6.73 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 10047 0 1 0 670 3 0 0 20 0 24 0 11857756 10202112000 12445 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 12445 2251 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=6.25 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2507 0 1 0 624 1 0 0 20 0 24 0 11857757 10202112000 12445 33554432000 1073741824 1073778376 140737054669520 140627564752592 140627504917705 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17968] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17968/stat : 17968 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 12445 33554432000 1073741824 1073778376 140737054669520 140627503491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17969] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17969/stat : 17969 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 12445 33554432000 1073741824 1073778376 140737054669520 140627502439208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17970] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17970/stat : 17970 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857757 10202112000 12445 33554432000 1073741824 1073778376 140737054669520 140627501386664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17971] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
################
# More data... #
################
/proc/17963/task/17976/stat : 17976 (java) S 17960 17963 17918 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627400137384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17978] ppid=17960 vsize=9963000 CPUtime=0.07 cores=0-3,8-11
/proc/17963/task/17978/stat : 17978 (java) S 17960 17963 17918 0 -1 4202560 81 0 0 0 4 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627399084840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17979] ppid=17960 vsize=9963000 CPUtime=0.1 cores=0-3,8-11
/proc/17963/task/17979/stat : 17979 (java) S 17960 17963 17918 0 -1 4202560 207 0 0 0 7 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627398032296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17981] ppid=17960 vsize=9963000 CPUtime=0.08 cores=0-3,8-11
/proc/17963/task/17981/stat : 17981 (java) S 17960 17963 17918 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627396979752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17984] ppid=17960 vsize=9963000 CPUtime=0.13 cores=0-3,8-11
/proc/17963/task/17984/stat : 17984 (java) S 17960 17963 17918 0 -1 4202560 246 0 0 0 10 3 0 0 20 0 24 0 11857758 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627395926184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17994] ppid=17960 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/17963/task/17994/stat : 17994 (java) S 17960 17963 17918 0 -1 4202560 52 0 0 0 0 1 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627378465000 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17996] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17996/stat : 17996 (java) S 17960 17963 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627377411320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17997] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17997/stat : 17997 (java) S 17960 17963 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627376358664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18001] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18001/stat : 18001 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627375307408 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18003] ppid=17960 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/17963/task/18003/stat : 18003 (java) S 17960 17963 17918 0 -1 4202560 3052 0 0 0 25 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627374254776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=18005] ppid=17960 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/17963/task/18005/stat : 18005 (java) S 17960 17963 17918 0 -1 4202560 3214 0 0 0 19 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627373202232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18007] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18007/stat : 18007 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627372149880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18009] ppid=17960 vsize=9963000 CPUtime=0.34 cores=0-3,8-11
/proc/17963/task/18009/stat : 18009 (java) S 17960 17963 17918 0 -1 4202560 97 0 0 0 16 18 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627371096520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=18011] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18011/stat : 18011 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857771 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627369943976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1724.23
Current children cumulated vsize (KiB) 9963000
[startup+1782.3 s]
/proc/loadavg: 2.24 2.47 2.39 3/305 18195
/proc/meminfo: memFree=31581488/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=1784.23 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 12092 0 1 0 178362 61 0 0 20 0 24 0 11857756 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 69561 2266 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=1777.49 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2572 0 1 0 177720 29 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627564752688 140627504917830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=17968] ppid=17960 vsize=9963000 CPUtime=0.13 cores=0-3,8-11
/proc/17963/task/17968/stat : 17968 (java) S 17960 17963 17918 0 -1 4202560 139 0 0 0 10 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627503491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=17969] ppid=17960 vsize=9963000 CPUtime=0.11 cores=0-3,8-11
/proc/17963/task/17969/stat : 17969 (java) S 17960 17963 17918 0 -1 4202560 138 0 0 0 8 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627502439208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17970] ppid=17960 vsize=9963000 CPUtime=0.11 cores=0-3,8-11
/proc/17963/task/17970/stat : 17970 (java) S 17960 17963 17918 0 -1 4202560 139 0 0 0 8 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627501386664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17971] ppid=17960 vsize=9963000 CPUtime=0.15 cores=0-3,8-11
/proc/17963/task/17971/stat : 17971 (java) S 17960 17963 17918 0 -1 4202560 194 0 0 0 11 4 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627500334120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17972] ppid=17960 vsize=9963000 CPUtime=0.12 cores=0-3,8-11
/proc/17963/task/17972/stat : 17972 (java) S 17960 17963 17918 0 -1 4202560 148 0 0 0 9 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627499280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17973] ppid=17960 vsize=9963000 CPUtime=0.09 cores=0-3,8-11
/proc/17963/task/17973/stat : 17973 (java) S 17960 17963 17918 0 -1 4202560 72 0 0 0 7 2 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627498228008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17974] ppid=17960 vsize=9963000 CPUtime=0.11 cores=0-3,8-11
/proc/17963/task/17974/stat : 17974 (java) S 17960 17963 17918 0 -1 4202560 219 0 0 0 8 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627402242472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17975] ppid=17960 vsize=9963000 CPUtime=0.15 cores=0-3,8-11
/proc/17963/task/17975/stat : 17975 (java) S 17960 17963 17918 0 -1 4202560 166 0 0 0 11 4 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627401189928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17976] ppid=17960 vsize=9963000 CPUtime=0.08 cores=0-3,8-11
/proc/17963/task/17976/stat : 17976 (java) S 17960 17963 17918 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627400137384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17978] ppid=17960 vsize=9963000 CPUtime=0.07 cores=0-3,8-11
/proc/17963/task/17978/stat : 17978 (java) S 17960 17963 17918 0 -1 4202560 81 0 0 0 4 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627399084840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17979] ppid=17960 vsize=9963000 CPUtime=0.1 cores=0-3,8-11
/proc/17963/task/17979/stat : 17979 (java) S 17960 17963 17918 0 -1 4202560 207 0 0 0 7 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627398032296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17981] ppid=17960 vsize=9963000 CPUtime=0.08 cores=0-3,8-11
/proc/17963/task/17981/stat : 17981 (java) S 17960 17963 17918 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627396979752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17984] ppid=17960 vsize=9963000 CPUtime=0.13 cores=0-3,8-11
/proc/17963/task/17984/stat : 17984 (java) S 17960 17963 17918 0 -1 4202560 246 0 0 0 10 3 0 0 20 0 24 0 11857758 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627395926184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17994] ppid=17960 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/17963/task/17994/stat : 17994 (java) S 17960 17963 17918 0 -1 4202560 52 0 0 0 0 1 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627378465000 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17996] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17996/stat : 17996 (java) S 17960 17963 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627377411320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17997] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17997/stat : 17997 (java) S 17960 17963 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627376358664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18001] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18001/stat : 18001 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627375307408 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18003] ppid=17960 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/17963/task/18003/stat : 18003 (java) S 17960 17963 17918 0 -1 4202560 3052 0 0 0 25 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627374254776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=18005] ppid=17960 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/17963/task/18005/stat : 18005 (java) S 17960 17963 17918 0 -1 4202560 3214 0 0 0 19 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627373202232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18007] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18007/stat : 18007 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627372149880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18009] ppid=17960 vsize=9963000 CPUtime=0.35 cores=0-3,8-11
/proc/17963/task/18009/stat : 18009 (java) S 17960 17963 17918 0 -1 4202560 101 0 0 0 16 19 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627371096520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=18011] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18011/stat : 18011 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857771 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627369943976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1784.23
Current children cumulated vsize (KiB) 9963000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.18 2.45 2.38 3/305 18195
/proc/meminfo: memFree=31581740/32872528 swapFree=7036/7036
[pid=17963] ppid=17960 vsize=9963000 CPUtime=1800.04 cores=0-3,8-11
/proc/17963/stat : 17963 (java) S 17960 17963 17918 0 -1 4202496 12092 0 1 0 179942 62 0 0 20 0 24 0 11857756 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140737054660656 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/17963/statm: 2490750 69561 2266 9 0 2481427 0
[pid=17963/tid=17966] ppid=17960 vsize=9963000 CPUtime=1793.25 cores=0-3,8-11
/proc/17963/task/17966/stat : 17966 (java) R 17960 17963 17918 0 -1 4202560 2572 0 1 0 179296 29 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627564752688 140627504918299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=17968] ppid=17960 vsize=9963000 CPUtime=0.13 cores=0-3,8-11
/proc/17963/task/17968/stat : 17968 (java) S 17960 17963 17918 0 -1 4202560 139 0 0 0 10 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627503491752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=17969] ppid=17960 vsize=9963000 CPUtime=0.11 cores=0-3,8-11
/proc/17963/task/17969/stat : 17969 (java) S 17960 17963 17918 0 -1 4202560 138 0 0 0 8 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627502439208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17970] ppid=17960 vsize=9963000 CPUtime=0.11 cores=0-3,8-11
/proc/17963/task/17970/stat : 17970 (java) S 17960 17963 17918 0 -1 4202560 139 0 0 0 8 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627501386664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17971] ppid=17960 vsize=9963000 CPUtime=0.15 cores=0-3,8-11
/proc/17963/task/17971/stat : 17971 (java) S 17960 17963 17918 0 -1 4202560 194 0 0 0 11 4 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627500334120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17972] ppid=17960 vsize=9963000 CPUtime=0.12 cores=0-3,8-11
/proc/17963/task/17972/stat : 17972 (java) S 17960 17963 17918 0 -1 4202560 148 0 0 0 9 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627499280552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17963/tid=17973] ppid=17960 vsize=9963000 CPUtime=0.09 cores=0-3,8-11
/proc/17963/task/17973/stat : 17973 (java) S 17960 17963 17918 0 -1 4202560 72 0 0 0 7 2 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627498228008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17963/tid=17974] ppid=17960 vsize=9963000 CPUtime=0.11 cores=0-3,8-11
/proc/17963/task/17974/stat : 17974 (java) S 17960 17963 17918 0 -1 4202560 219 0 0 0 8 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627402242472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17975] ppid=17960 vsize=9963000 CPUtime=0.15 cores=0-3,8-11
/proc/17963/task/17975/stat : 17975 (java) S 17960 17963 17918 0 -1 4202560 166 0 0 0 11 4 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627401189928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17976] ppid=17960 vsize=9963000 CPUtime=0.08 cores=0-3,8-11
/proc/17963/task/17976/stat : 17976 (java) S 17960 17963 17918 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627400137384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17978] ppid=17960 vsize=9963000 CPUtime=0.07 cores=0-3,8-11
/proc/17963/task/17978/stat : 17978 (java) S 17960 17963 17918 0 -1 4202560 81 0 0 0 4 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627399084840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17979] ppid=17960 vsize=9963000 CPUtime=0.1 cores=0-3,8-11
/proc/17963/task/17979/stat : 17979 (java) S 17960 17963 17918 0 -1 4202560 207 0 0 0 7 3 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627398032296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17963/tid=17981] ppid=17960 vsize=9963000 CPUtime=0.08 cores=0-3,8-11
/proc/17963/task/17981/stat : 17981 (java) S 17960 17963 17918 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 24 0 11857757 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627396979752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17984] ppid=17960 vsize=9963000 CPUtime=0.13 cores=0-3,8-11
/proc/17963/task/17984/stat : 17984 (java) S 17960 17963 17918 0 -1 4202560 246 0 0 0 10 3 0 0 20 0 24 0 11857758 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627395926184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17963/tid=17994] ppid=17960 vsize=9963000 CPUtime=0.01 cores=0-3,8-11
/proc/17963/task/17994/stat : 17994 (java) S 17960 17963 17918 0 -1 4202560 52 0 0 0 0 1 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627378465000 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=17996] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17996/stat : 17996 (java) S 17960 17963 17918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627377411320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=17997] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/17997/stat : 17997 (java) S 17960 17963 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 11857759 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627376358664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18001] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18001/stat : 18001 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627375307408 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17963/tid=18003] ppid=17960 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/17963/task/18003/stat : 18003 (java) S 17960 17963 17918 0 -1 4202560 3052 0 0 0 25 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627374254776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17963/tid=18005] ppid=17960 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/17963/task/18005/stat : 18005 (java) S 17960 17963 17918 0 -1 4202560 3214 0 0 0 19 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627373202232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18007] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18007/stat : 18007 (java) S 17960 17963 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627372149880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17963/tid=18009] ppid=17960 vsize=9963000 CPUtime=0.35 cores=0-3,8-11
/proc/17963/task/18009/stat : 18009 (java) S 17960 17963 17918 0 -1 4202560 101 0 0 0 16 19 0 0 20 0 24 0 11857761 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627371096520 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17963/tid=18011] ppid=17960 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17963/task/18011/stat : 18011 (java) S 17960 17963 17918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 11857771 10202112000 69561 33554432000 1073741824 1073778376 140737054669520 140627369943976 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9963000
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 17963 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 17963 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=858140
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=51840
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.14
CPU time (s): 1800.04
CPU user time (s): 1799.42
CPU system time (s): 0.62
CPU usage (%): 100.106
Max. virtual memory (cumulated for all children) (KiB): 9963000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.86
system time used= 1.05184
maximum resident set size= 278436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12147
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32394
involuntary context switches= 2505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3743 second user time and 15.2937 second system time
The end