runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (57859 MiB free)
memory of node 1: 64510 MiB (51034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450981-1721424655/watcher-4450981-1721424655 -o /tmp/evaluation-result-4450981-1721424655/solver-4450981-1721424655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721421240-1021653 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4450981-1721424655.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1023644, runsolver pid=1023641
Current StackSize limit: 8192 KiB
[startup+0.102945 s]*
/proc/loadavg: 4.67 4.64 4.39 6/332 1023662
/proc/meminfo: memFree=111464024/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=18975048 memory=64256 CPUtime=0.15 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 7135 0 0 0 13 2 0 0 20 0 18 0 194630374 19430449152 16064 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4743762 16064 5521 1 0 549374 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) S 1023641 1023644 1021642 0 -1 1077936192 5686 0 0 0 7 1 0 0 20 0 18 0 194630375 19430449152 16064 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194630377 19430449152 16064 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=18975048 memory=14979970577492358 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194630378 19430449152 16064 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64256 KiB
[startup+0.207265 s]*
/proc/loadavg: 4.67 4.64 4.39 7/332 1023662
/proc/meminfo: memFree=111429072/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=18975048 memory=104372 CPUtime=0.34 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 7680 0 0 0 31 3 0 0 20 0 18 0 194630374 19430449152 26093 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4743762 26093 5832 1 0 549716 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 5965 0 0 0 17 2 0 0 20 0 18 0 194630375 19430449152 26093 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=18975048 memory=17986 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194630377 19430449152 26093 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=18975048 memory=13855165887284967 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194630378 19430449152 26093 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 104372 KiB
[startup+0.305838 s]*
/proc/loadavg: 4.67 4.64 4.39 7/333 1023663
/proc/meminfo: memFree=111407052/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19041612 memory=123828 CPUtime=0.53 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 8001 0 0 0 49 4 0 0 20 0 19 0 194630374 19498610688 30957 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4760403 30957 5832 1 0 550125 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19041612 memory=-7596549454003726177 CPUtime=0.28 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 6068 0 0 0 25 3 0 0 20 0 19 0 194630375 19498610688 30957 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194630377 19498610688 30957 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194630378 19498610688 30957 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194630397 19498610688 30957 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123828 KiB
[startup+0.700255 s]
/proc/loadavg: 4.86 4.68 4.41 6/334 1023664
/proc/meminfo: memFree=111349072/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=181220 CPUtime=1.29 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 13716 0 0 0 123 6 0 0 20 0 20 0 194630374 19566772224 45305 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 45305 5848 1 0 554791 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=13072 CPUtime=0.65 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 6101 0 0 0 61 4 0 0 20 0 20 0 194630375 19566772224 45305 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 45305 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=117636 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 45305 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=5528 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 45305 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181220 KiB
[startup+1.50826 s]
/proc/loadavg: 4.86 4.68 4.41 6/334 1023664
/proc/meminfo: memFree=111285984/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=524196 CPUtime=2.89 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 24776 0 0 0 276 13 0 0 20 0 20 0 194630374 19566772224 131049 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 131049 5864 1 0 557955 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=13072 CPUtime=1.43 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 6406 0 0 0 133 10 0 0 20 0 20 0 194630375 19566772224 131049 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 131049 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 131049 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 131049 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 524196 KiB
[startup+3.10599 s]
/proc/loadavg: 4.86 4.68 4.41 6/334 1023664
/proc/meminfo: memFree=110196420/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=1330292 CPUtime=5.95 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 28303 0 0 0 566 29 0 0 20 0 20 0 194630374 19566772224 332573 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 332573 5864 1 0 557977 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=0 CPUtime=2.99 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 7884 0 0 0 274 25 0 0 20 0 20 0 194630375 19566772224 332573 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 332573 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=770268 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 332573 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 332573 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1330292 KiB
[startup+6.30028 s]
/proc/loadavg: 4.87 4.69 4.41 5/334 1023664
/proc/meminfo: memFree=110197076/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=1329288 CPUtime=9.47 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 28400 0 0 0 918 29 0 0 20 0 20 0 194630374 19566772224 332322 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 332322 5864 1 0 557978 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=13072 CPUtime=6.14 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 7903 0 0 0 589 25 0 0 20 0 20 0 194630375 19566772224 332322 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 332322 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=7234012876567308396 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 332322 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 332322 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 9.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1329288 KiB
[startup+12.7003 s]
/proc/loadavg: 4.80 4.68 4.41 5/334 1023666
/proc/meminfo: memFree=110194952/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=1331716 CPUtime=15.93 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 30273 0 0 0 1563 30 0 0 20 0 20 0 194630374 19566772224 332929 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 332929 5876 1 0 557994 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=0 CPUtime=12.43 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 8915 0 0 0 1217 26 0 0 20 0 20 0 194630375 19566772224 332929 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=1331692 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 332929 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 332929 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 332929 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1331716 KiB
[startup+25.5003 s]
/proc/loadavg: 4.68 4.65 4.40 5/334 1023667
/proc/meminfo: memFree=110176280/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=1350260 CPUtime=28.95 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 34754 0 0 0 2864 31 0 0 20 0 20 0 194630374 19566772224 337565 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 337565 5892 1 0 557994 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=1331692 CPUtime=25 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 10061 0 0 0 2474 26 0 0 20 0 20 0 194630375 19566772224 337565 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 337565 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=1337872 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 337565 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=11444 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 337565 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1350260 KiB
[startup+51.1059 s]
/proc/loadavg: 4.54 4.62 4.40 6/334 1023672
/proc/meminfo: memFree=109231008/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=2293132 CPUtime=55.08 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 46140 0 0 0 5456 52 0 0 20 0 20 0 194630374 19566772224 573283 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 573283 5892 1 0 791972 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=1780016 CPUtime=49.85 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 12982 0 0 0 4941 44 0 0 20 0 20 0 194630375 19566772224 573283 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
################
# More data... #
################
/proc/meminfo: memFree=111857996/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=3219.06 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 297517 0 0 0 321654 252 0 0 20 0 20 0 194630374 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042127 5892 1 0 1054097 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=3065.82 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 140420 0 0 0 306501 81 0 0 20 0 20 0 194630375 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 167 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2453 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3219.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4168508 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.41 4.35 5/332 1025553
/proc/meminfo: memFree=111857656/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=3280.12 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 299589 0 0 0 327757 255 0 0 20 0 20 0 194630374 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042127 5892 1 0 1054100 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=3124.07 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 142148 0 0 0 312326 81 0 0 20 0 20 0 194630375 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 167 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=4168508 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042127 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3280.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4168508 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.39 4.35 5/332 1025946
/proc/meminfo: memFree=111856712/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4168520 CPUtime=3341.04 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 302583 0 0 0 333846 258 0 0 20 0 20 0 194630374 19566772224 1042130 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042130 5892 1 0 1054100 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=4168520 CPUtime=3181.79 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 143769 0 0 0 318098 81 0 0 20 0 20 0 194630375 19566772224 1042130 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 175 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=4168520 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042130 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=4168520 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2625 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042130 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=4168520 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042130 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3341.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4168520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.36 4.35 5/332 1025956
/proc/meminfo: memFree=111855728/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4169032 CPUtime=3402.75 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 308463 0 0 0 340014 261 0 0 20 0 20 0 194630374 19566772224 1042258 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042258 5892 1 0 1054231 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=13072 CPUtime=3239.82 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 145860 0 0 0 323901 81 0 0 20 0 20 0 194630375 19566772224 1042258 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 175 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=4169032 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042258 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=11444 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2625 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042258 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=46320 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042258 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3402.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4169032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.37 4.35 6/332 1025967
/proc/meminfo: memFree=111369860/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=3463.79 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 311652 0 0 0 346114 265 0 0 20 0 20 0 194630374 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042261 5892 1 0 1054231 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=3298.24 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 147937 0 0 0 329743 81 0 0 20 0 20 0 194630375 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 176 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2645 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3463.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4169044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.32 4.33 5/334 1026147
/proc/meminfo: memFree=111369352/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=3525.04 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 313341 0 0 0 352236 268 0 0 20 0 20 0 194630374 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042261 5892 1 0 1054275 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=3356.47 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 149258 0 0 0 335566 81 0 0 20 0 20 0 194630375 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 178 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2730 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042261 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3525.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4169044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.70 4.45 4.38 5/334 1026157
/proc/meminfo: memFree=111368456/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4169320 CPUtime=3586.64 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 316394 0 0 0 358394 270 0 0 20 0 20 0 194630374 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042330 5892 1 0 1054323 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=4169044 CPUtime=3414.49 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 150731 0 0 0 341367 82 0 0 20 0 20 0 194630375 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 182 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=4169320 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2818 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=-7596549454003725407 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4169320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3535.4 s]
/proc/loadavg: 4.67 4.45 4.38 5/334 1026160
/proc/meminfo: memFree=111368292/131524600 swapFree=131071996/131071996
[pid=1023644] ppid=1023641 vsize=19108176 memory=4169320 CPUtime=3600.08 cores=4,6
/proc/1023644/stat : 1023644 (java) S 1023641 1023644 1021642 0 -1 1077936128 316653 0 0 0 359737 271 0 0 20 0 20 0 194630374 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
/proc/1023644/statm: 4777044 1042330 5892 1 0 1054323 0
[pid=1023644/tid=1023646] ppid=1023641 vsize=19108176 memory=19068 CPUtime=3427.17 cores=4,6
/proc/1023644/task/1023646/stat : 1023646 (java) R 1023641 1023644 1021642 0 -1 4194368 150988 0 0 0 342635 82 0 0 20 0 20 0 194630375 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 182 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023655] ppid=1023641 vsize=19108176 memory=26564 CPUtime=0 cores=4,6
/proc/1023644/task/1023655/stat : 1023655 (Finalizer) S 1023641 1023644 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194630377 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023662] ppid=1023641 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/1023644/task/1023662/stat : 1023662 (Common-Cleaner) S 1023641 1023644 1021642 0 -1 1077936192 2818 0 0 0 0 0 0 0 20 0 20 0 194630378 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
[pid=1023644/tid=1023663] ppid=1023641 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/1023644/task/1023663/stat : 1023663 (Timer-0) S 1023641 1023644 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194630397 19566772224 1042330 134679101440 94868986544128 94868986547824 140720778342560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94868986555640 94868986556432 94868990660608 140720778351603 140720778351711 140720778351711 140720778358728 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4169320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3535.49 s]
# the end of solver process 1023644 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.5 s, system=2.7259 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3535.49
CPU time (s): 3600.23
CPU user time (s): 3597.5
CPU system time (s): 2.7259
CPU usage (%): 101.831
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4169320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.5
system time used= 2.7259
maximum resident set size= 4170064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169579
involuntary context switches= 13054
# summary of solver processes directly reported to runsolver:
# pid: 1023644
# total CPU time (s): 3600.23
# total CPU user time (s): 3597.5
# total CPU system time (s): 2.7259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83749 second user time and 17.3288 second system time
The end