runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7303 MiB free)
memory of node 1: 16384 MiB (12346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290006-1532217812/watcher-4290006-1532217812 -o /tmp/evaluation-result-4290006-1532217812/solver-4290006-1532217812 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532208872-28144 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290006-1532217812.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29446, runsolver pid=29443
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.00 2.03 2.05 3/217 29461
/proc/meminfo: memFree=20103744/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10659012 memory=30056 CPUtime=0.13 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 6619 0 0 0 12 1 0 0 20 0 15 0 39344360 10914828288 7514 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2664753 7514 2822 1 0 2627263 0
[pid=29446/tid=29448] ppid=29443 vsize=10659012 memory=-8773748148830375811 CPUtime=0.08 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) R 29443 29446 25824 0 -1 4202560 4431 0 0 0 8 0 0 0 20 0 15 0 39344361 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417976413760 140417956279646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39344363 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39344363 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417530520864 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39344363 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417529468528 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) S 29443 29446 25824 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417527363696 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0.02 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) S 29443 29446 25824 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 39344366 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417525258608 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 7514 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30056 KiB
[startup+0.210772 s]*
/proc/loadavg: 2.00 2.03 2.05 3/217 29461
/proc/meminfo: memFree=20091856/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10659012 memory=42004 CPUtime=0.33 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 8093 0 0 0 31 2 0 0 20 0 15 0 39344360 10914828288 10501 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2664753 10501 3004 1 0 2627263 0
[pid=29446/tid=29448] ppid=29443 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) R 29443 29446 25824 0 -1 4202560 5018 0 0 0 19 1 0 0 20 0 15 0 39344361 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417976434432 140417957568854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10659012 memory=139890704847761 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39344361 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39344363 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39344363 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417530520864 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39344363 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417529468528 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) S 29443 29446 25824 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 39344366 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417527363696 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 642 0 0 0 2 0 0 0 20 0 15 0 39344366 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0.07 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) R 29443 29446 25824 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 15 0 39344366 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417525258608 140417972220506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10659012 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344366 10914828288 10501 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42004 KiB
[startup+0.310381 s]*
/proc/loadavg: 2.00 2.03 2.05 5/217 29461
/proc/meminfo: memFree=20083544/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10659088 memory=51776 CPUtime=0.57 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 9574 0 0 0 55 2 0 0 20 0 15 0 39344360 10914906112 12944 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2664772 12944 3059 1 0 2627263 0
[pid=29446/tid=29448] ppid=29443 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) R 29443 29446 25824 0 -1 4202560 5570 0 0 0 29 1 0 0 20 0 15 0 39344361 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417976435968 140417956279646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10659088 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10659088 memory=139890704847149 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39344361 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10659088 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39344363 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39344363 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417530520864 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39344363 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417529468528 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) R 29443 29446 25824 0 -1 4202560 520 0 0 0 4 0 0 0 20 0 15 0 39344366 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417527344712 140417957118205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) R 29443 29446 25824 0 -1 4202560 1101 0 0 0 7 0 0 0 20 0 15 0 39344366 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417526291912 140417949793904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10659088 memory=139890704819840 CPUtime=0.13 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) R 29443 29446 25824 0 -1 4202560 1014 0 0 0 13 0 0 0 20 0 15 0 39344366 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417525254976 140417972211094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10659088 memory=139890704819840 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344366 10914906112 12944 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 51776 KiB
[startup+0.701015 s]
/proc/loadavg: 2.00 2.03 2.05 6/217 29461
/proc/meminfo: memFree=20042352/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10661136 memory=143816 CPUtime=1.96 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 14267 0 0 0 192 4 0 0 20 0 15 0 39344360 10917003264 35954 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2665284 35954 3107 1 0 2627775 0
[pid=29446/tid=29448] ppid=29443 vsize=10661136 memory=1836 CPUtime=0.67 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) R 29443 29446 25824 0 -1 4202560 6035 0 0 0 65 2 0 0 20 0 15 0 39344361 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417976431680 140417601608519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10661136 memory=792 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10661136 memory=1960 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10661136 memory=5380 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344361 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10661136 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39344361 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10661136 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39344363 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10661136 memory=11964 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39344363 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417530520864 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10661136 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39344363 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417529468528 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10661136 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10661136 memory=6297835844906604903 CPUtime=0.41 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) R 29443 29446 25824 0 -1 4202560 2016 0 0 0 41 0 0 0 20 0 15 0 39344366 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417527351808 140417951416964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10661136 memory=7597685182856913236 CPUtime=0.41 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 2378 0 0 0 41 0 0 0 20 0 15 0 39344366 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10661136 memory=7368004788338839632 CPUtime=0.44 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) S 29443 29446 25824 0 -1 1077944384 2467 0 0 0 44 0 0 0 20 0 15 0 39344366 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417525258608 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39344366 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10661136 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39344366 10917003264 35954 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 143816 KiB
[startup+1.50077 s]
/proc/loadavg: 2.00 2.03 2.05 5/217 29461
/proc/meminfo: memFree=19929220/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10727700 memory=284592 CPUtime=4.51 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 15444 0 0 0 438 13 0 0 20 0 16 0 39344360 10985164800 71148 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2681925 71148 3151 1 0 2644416 0
[pid=29446/tid=29448] ppid=29443 vsize=10727700 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) R 29443 29446 25824 0 -1 4202560 6099 0 0 0 133 3 0 0 20 0 16 0 39344361 10985164800 71148 33554432000 4194304 4196468 140731662167856 140417976437344 140417598315138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10727700 memory=-6951259422114956437 CPUtime=0.1 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 123 0 0 0 8 2 0 0 20 0 16 0 39344361 10985164800 71148 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10727700 memory=-6509546260019855295 CPUtime=0.09 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 113 0 0 0 8 1 0 0 20 0 16 0 39344361 10985164800 71148 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10727700 memory=-7390251449858225344 CPUtime=0.09 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 111 0 0 0 7 2 0 0 20 0 16 0 39344361 10985164800 71148 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10727700 memory=4134692831991786133 CPUtime=0.1 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 116 0 0 0 8 2 0 0 20 0 16 0 39344361 10985164800 71148 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10727700 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 39344363 10985164800 71148 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
################
# More data... #
################
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1613 0 0 0 50 10 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.59 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1156 0 0 0 48 11 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 1664 0 0 0 49 11 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10727700 memory=4140 CPUtime=0.12 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 2756 0 0 0 8 4 0 0 20 0 16 0 39344363 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10727700 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 39344363 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417530520928 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10727700 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39344363 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417529468544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10727700 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10727700 memory=920 CPUtime=2.11 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) S 29443 29446 25824 0 -1 1077944384 9607 0 0 0 209 2 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417527363696 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10727700 memory=3848 CPUtime=1.57 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 5784 0 0 0 156 1 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10727700 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) S 29443 29446 25824 0 -1 1077944384 7133 0 0 0 63 1 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417525258608 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10727700 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10727700 memory=164 CPUtime=1.45 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1557 0 0 0 60 85 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29462] ppid=29443 vsize=10727700 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29462/stat : 29462 (java) S 29443 29446 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39344495 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417520002224 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 2390.23 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 944184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.11 s]
/proc/loadavg: 2.03 2.05 2.05 3/217 29612
/proc/meminfo: memFree=12260908/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10727700 memory=944184 CPUtime=2400.06 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 60858 0 0 0 239874 132 0 0 20 0 16 0 39344360 10985164800 236046 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2681925 236046 3181 1 0 2644416 0
[pid=29446/tid=29448] ppid=29443 vsize=10727700 memory=944184 CPUtime=2391.68 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) R 29443 29446 25824 0 -1 4202560 27427 0 0 0 239159 9 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417976437960 140417603320581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.61 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 755 0 0 0 50 11 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1613 0 0 0 50 10 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.59 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1156 0 0 0 48 11 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 1664 0 0 0 49 11 0 0 20 0 16 0 39344361 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10727700 memory=944184 CPUtime=0.12 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 2756 0 0 0 8 4 0 0 20 0 16 0 39344363 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10727700 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 39344363 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417530520928 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10727700 memory=9328 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39344363 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417529468544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10727700 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10727700 memory=944184 CPUtime=2.11 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) S 29443 29446 25824 0 -1 1077944384 9607 0 0 0 209 2 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417527363696 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10727700 memory=2412 CPUtime=1.57 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 5784 0 0 0 156 1 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10727700 memory=1960 CPUtime=0.64 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) S 29443 29446 25824 0 -1 1077944384 7133 0 0 0 63 1 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417525258608 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10727700 memory=5380 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10727700 memory=944184 CPUtime=1.45 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1557 0 0 0 60 85 0 0 20 0 16 0 39344366 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29462] ppid=29443 vsize=10727700 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29462/stat : 29462 (java) S 29443 29446 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39344495 10985164800 236046 33554432000 4194304 4196468 140731662167856 140417520002224 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 944184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.33 s]
# the end of solver process 29446 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.8 s, system=1.32935 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.21 s]
/proc/loadavg: 2.03 2.05 2.05 3/217 29612
/proc/meminfo: memFree=12260908/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10927392 memory=944468 CPUtime=2400.1 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 61540 0 0 0 239878 132 0 0 20 0 17 0 39344360 11189649408 236117 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2731848 236117 3184 1 0 2694339 0
[pid=29446/tid=29448] ppid=29443 vsize=10927392 memory=288230621803970871 CPUtime=2391.71 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) S 29443 29446 25824 0 -1 1077944384 27536 0 0 0 239162 9 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417976442032 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10927392 memory=13567093857585738 CPUtime=0.61 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 755 0 0 0 50 11 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10927392 memory=2580 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1613 0 0 0 50 10 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10927392 memory=4096 CPUtime=0.59 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1156 0 0 0 48 11 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10927392 memory=1408 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 1664 0 0 0 49 11 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10927392 memory=3296 CPUtime=0.12 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 2756 0 0 0 8 4 0 0 20 0 17 0 39344363 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10927392 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 39344363 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417530520928 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10927392 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39344363 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417529468544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10927392 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10927392 memory=8349040 CPUtime=2.11 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) S 29443 29446 25824 0 -1 1077944384 9644 0 0 0 209 2 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417527363696 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10927392 memory=6791534058613427641 CPUtime=1.58 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 5838 0 0 0 157 1 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10927392 memory=4126316290023845779 CPUtime=0.64 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) S 29443 29446 25824 0 -1 1077944384 7316 0 0 0 63 1 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417525258608 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10927392 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10927392 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1557 0 0 0 60 85 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 944468 KiB
[startup+2392.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/217 29612
/proc/meminfo: memFree=12260908/32770624 swapFree=67108860/67108860
[pid=29446] ppid=29443 vsize=10927392 memory=944468 CPUtime=2400.1 cores=1,3,5,7
/proc/29446/stat : 29446 (java) S 29443 29446 25824 0 -1 1077944320 61540 0 0 0 239878 132 0 0 20 0 17 0 39344360 11189649408 236117 33554432000 4194304 4196468 140731662167856 140731662150400 140417972199159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
/proc/29446/statm: 2731848 236117 3184 1 0 2694339 0
[pid=29446/tid=29448] ppid=29443 vsize=10927392 memory=9328 CPUtime=2391.71 cores=1,3,5,7
/proc/29446/task/29448/stat : 29448 (java) S 29443 29446 25824 0 -1 1077944384 27536 0 0 0 239162 9 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417976442032 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29449] ppid=29443 vsize=10927392 memory=944184 CPUtime=0.61 cores=1,3,5,7
/proc/29446/task/29449/stat : 29449 (java) S 29443 29446 25824 0 -1 1077944384 755 0 0 0 50 11 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417924819344 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29450] ppid=29443 vsize=10927392 memory=944184 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (java) S 29443 29446 25824 0 -1 1077944384 1613 0 0 0 50 10 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417923766544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29451] ppid=29443 vsize=10927392 memory=944184 CPUtime=0.59 cores=1,3,5,7
/proc/29446/task/29451/stat : 29451 (java) S 29443 29446 25824 0 -1 1077944384 1156 0 0 0 48 11 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417922714256 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29452] ppid=29443 vsize=10927392 memory=944184 CPUtime=0.6 cores=1,3,5,7
/proc/29446/task/29452/stat : 29452 (java) S 29443 29446 25824 0 -1 1077944384 1664 0 0 0 49 11 0 0 20 0 17 0 39344361 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417921661456 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29453] ppid=29443 vsize=10927392 memory=944184 CPUtime=0.12 cores=1,3,5,7
/proc/29446/task/29453/stat : 29453 (java) S 29443 29446 25824 0 -1 1077944384 2756 0 0 0 8 4 0 0 20 0 17 0 39344363 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417531574896 140417972210306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29454] ppid=29443 vsize=10927392 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29454/stat : 29454 (java) S 29443 29446 25824 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 39344363 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417530520928 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29455] ppid=29443 vsize=10927392 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29455/stat : 29455 (java) S 29443 29446 25824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39344363 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417529468544 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29456] ppid=29443 vsize=10927392 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29456/stat : 29456 (java) S 29443 29446 25824 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417528416848 140417972217755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29457] ppid=29443 vsize=10927392 memory=1960 CPUtime=2.11 cores=1,3,5,7
/proc/29446/task/29457/stat : 29457 (java) S 29443 29446 25824 0 -1 1077944384 9644 0 0 0 209 2 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417527363696 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29458] ppid=29443 vsize=10927392 memory=5380 CPUtime=1.58 cores=1,3,5,7
/proc/29446/task/29458/stat : 29458 (java) S 29443 29446 25824 0 -1 1077944384 5838 0 0 0 157 1 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417526310896 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29459] ppid=29443 vsize=10927392 memory=944184 CPUtime=0.64 cores=1,3,5,7
/proc/29446/task/29459/stat : 29459 (java) S 29443 29446 25824 0 -1 1077944384 7316 0 0 0 63 1 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417525258608 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29460] ppid=29443 vsize=10927392 memory=944184 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29460/stat : 29460 (java) S 29443 29446 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417524206048 140417972209365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
[pid=29446/tid=29461] ppid=29443 vsize=10927392 memory=944184 CPUtime=1.45 cores=1,3,5,7
/proc/29446/task/29461/stat : 29461 (java) S 29443 29446 25824 0 -1 1077944384 1557 0 0 0 60 85 0 0 20 0 17 0 39344366 11189649408 236117 33554432000 4194304 4196468 140731662167856 140417523153840 140417972210306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33853440 140731662169201 140731662169353 140731662169353 140731662172111 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 944468 KiB
Child status: 143
Real time (s): 2392.33
CPU time (s): 2400.13
CPU user time (s): 2398.8
CPU system time (s): 1.32935
CPU usage (%): 100.326
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 944468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.8
system time used= 1.32935
maximum resident set size= 945100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54233
involuntary context switches= 948
# summary of solver processes directly reported to runsolver:
# pid: 29446
# total CPU time (s): 2400.13
# total CPU user time (s): 2398.8
# total CPU system time (s): 1.32935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1077 second user time and 21.7662 second system time
The end