PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution Default 2024-07-07	? (TO)	3600.29	3094.15

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 (35630 MiB free)
  memory of node 1: 64510 MiB (45482 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452364-1721445492/watcher-4452364-1721445492 -o /tmp/evaluation-result-4452364-1721445492/solver-4452364-1721445492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015389 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452364-1721445492.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=1015682, runsolver pid=1015679

[startup+0.102171 s]*
/proc/loadavg: 5.52 4.81 3.80 7/328 1015700
/proc/meminfo: memFree=83011768/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=18975048 memory=65556 CPUtime=0.14 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 7198 0 0 0 11 3 0 0 20 0 18 0 196709782 19430449152 16389 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4743762 16389 5750 1 0 549326 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 5737 0 0 0 6 2 0 0 20 0 18 0 196709783 19430449152 16389 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196709785 19430449152 16389 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196709786 19430449152 16389 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65556 KiB

[startup+0.206963 s]*
/proc/loadavg: 5.52 4.81 3.80 6/328 1015700
/proc/meminfo: memFree=82981412/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=18975048 memory=87492 CPUtime=0.33 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 7565 0 0 0 30 3 0 0 20 0 18 0 196709782 19430449152 21873 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4743762 21873 5848 1 0 549555 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 5890 0 0 0 16 3 0 0 20 0 18 0 196709783 19430449152 21873 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=18975048 memory=14994 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196709785 19430449152 21873 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 196709786 19430449152 21873 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 87492 KiB

[startup+0.310858 s]*
/proc/loadavg: 5.52 4.81 3.80 5/329 1015701
/proc/meminfo: memFree=82937536/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19041612 memory=120580 CPUtime=0.53 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 9210 0 0 0 49 4 0 0 20 0 19 0 196709782 19498610688 30145 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4760403 30145 5848 1 0 550871 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19041612 memory=-7452715740904055905 CPUtime=0.27 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 5974 0 0 0 24 3 0 0 20 0 19 0 196709783 19498610688 30145 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196709785 19498610688 30145 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196709786 19498610688 30145 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196709809 19498610688 30145 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 120580 KiB

[startup+0.700853 s]
/proc/loadavg: 5.52 4.81 3.80 7/329 1015701
/proc/meminfo: memFree=82903120/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19041612 memory=163784 CPUtime=1.28 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 10561 0 0 0 123 5 0 0 20 0 19 0 196709782 19498610688 40946 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4760403 40946 5864 1 0 551811 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19041612 memory=13012 CPUtime=0.64 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 5996 0 0 0 60 4 0 0 20 0 19 0 196709783 19498610688 40946 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196709785 19498610688 40946 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 196709786 19498610688 40946 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19041612 memory=26268 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196709809 19498610688 40946 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163784 KiB

[startup+1.50085 s]
/proc/loadavg: 5.48 4.82 3.81 6/330 1015702
/proc/meminfo: memFree=82780812/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=377216 CPUtime=2.4 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 10883 0 0 0 229 11 0 0 20 0 20 0 196709782 19566772224 94304 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 94304 5864 1 0 552103 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=13012 CPUtime=1.23 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 6053 0 0 0 119 4 0 0 20 0 20 0 196709783 19566772224 94304 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 94304 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 94304 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 94304 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 377216 KiB

[startup+3.10585 s]
/proc/loadavg: 5.48 4.82 3.81 5/330 1015702
/proc/meminfo: memFree=82137324/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=778084 CPUtime=4.17 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 11924 0 0 0 397 20 0 0 20 0 20 0 196709782 19566772224 194521 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 194521 5864 1 0 1320796 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=0 CPUtime=2.65 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 6214 0 0 0 255 10 0 0 20 0 20 0 196709783 19566772224 194521 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 194521 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=461184 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 194521 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 194521 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 778084 KiB

[startup+6.30085 s]
/proc/loadavg: 5.52 4.84 3.82 5/330 1015702
/proc/meminfo: memFree=81388528/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=1504324 CPUtime=8.13 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 12866 0 0 0 778 35 0 0 20 0 20 0 196709782 19566772224 376081 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 376081 5864 1 0 1321084 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=13012 CPUtime=5.18 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 6297 0 0 0 508 10 0 0 20 0 20 0 196709783 19566772224 376081 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 376081 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=7665795490841849708 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 376081 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 376081 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1504324 KiB

[startup+12.7009 s]
/proc/loadavg: 5.48 4.84 3.83 6/330 1015703
/proc/meminfo: memFree=80216644/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=2440488 CPUtime=15.03 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 16604 0 0 0 1448 55 0 0 20 0 20 0 196709782 19566772224 610122 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 610122 5864 1 0 1943575 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=0 CPUtime=11.04 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 7037 0 0 0 1086 18 0 0 20 0 20 0 196709783 19566772224 610122 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=2055432 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 610122 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 610122 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=2636 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 610122 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 15.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2440488 KiB

[startup+25.5009 s]
/proc/loadavg: 5.41 4.85 3.84 5/330 1015705
/proc/meminfo: memFree=78024904/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=4443524 CPUtime=29.16 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 20012 0 0 0 2821 95 0 0 20 0 20 0 196709782 19566772224 1110881 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 1110881 5864 1 0 2371801 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=2055432 CPUtime=22.25 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 7878 0 0 0 2200 25 0 0 20 0 20 0 196709783 19566772224 1110881 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=2636 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 1110881 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=3477 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 1110881 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=4359556 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 1110881 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4443524 KiB

[startup+51.1055 s]
/proc/loadavg: 5.26 4.86 3.88 5/330 1015710
/proc/meminfo: memFree=73791820/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=8661684 CPUtime=62.05 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 49184 0 0 0 6018 187 0 0 20 0 20 0 196709782 19566772224 2165421 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 2165421 5896 1 0 2988634 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=11488 CPUtime=43.53 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) S 1015679 1015682 1015377 0 -1 1077936192 10125 0 0 0 4307 46 0 0 20 0 20 0 196709783 19566772224 2165421 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0

################
# More data... #
################

/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 944 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=16291756 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3102.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16291756 KiB

[startup+2742.3 s]
/proc/loadavg: 4.59 4.72 4.82 5/332 1017533
/proc/meminfo: memFree=77156364/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16291756 CPUtime=3181.96 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 584488 0 0 0 317610 586 0 0 20 0 20 0 196709782 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4072939 5947 1 0 4084886 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=16291756 CPUtime=2534.36 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 180240 0 0 0 253296 140 0 0 20 0 20 0 196709783 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=16291756 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 945 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=47000 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4072939 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3181.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16291756 KiB

[startup+2802.3 s]
/proc/loadavg: 4.89 4.77 4.83 5/332 1017747
/proc/meminfo: memFree=104043116/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=3254.68 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 614900 0 0 0 324871 597 0 0 20 0 20 0 196709782 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4073233 5947 1 0 4085194 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=16291756 CPUtime=2593.14 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 198101 0 0 0 259172 142 0 0 20 0 20 0 196709783 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 968 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3254.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16292932 KiB

[startup+2862.3 s]
/proc/loadavg: 4.55 4.69 4.80 5/330 1017758
/proc/meminfo: memFree=98102864/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=3315.16 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 619131 0 0 0 330917 599 0 0 20 0 20 0 196709782 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4073233 5947 1 0 4085194 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=2652.41 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 201157 0 0 0 265099 142 0 0 20 0 20 0 196709783 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 1112 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4073233 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3315.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16292932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.44 4.64 4.78 5/330 1017768
/proc/meminfo: memFree=97664992/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16292968 CPUtime=3379.37 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 629565 0 0 0 337335 602 0 0 20 0 20 0 196709782 19566772224 4073242 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4073242 5947 1 0 4085194 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=16292932 CPUtime=2707.78 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 204779 0 0 0 270635 143 0 0 20 0 20 0 196709783 19566772224 4073242 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4073242 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=16292968 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 1131 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4073242 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=16292968 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4073242 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3379.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16292968 KiB

[startup+2982.3 s]
/proc/loadavg: 4.73 4.69 4.79 5/330 1017779
/proc/meminfo: memFree=97253944/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16292984 CPUtime=3457.04 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 655841 0 0 0 345094 610 0 0 20 0 20 0 196709782 19566772224 4073246 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4073246 5947 1 0 4085194 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=16292968 CPUtime=2762.08 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 219412 0 0 0 276064 144 0 0 20 0 20 0 196709783 19566772224 4073246 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=16292984 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4073246 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=16292984 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 1131 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4073246 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=16292984 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4073246 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3457.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16292984 KiB

[startup+3042.3 s]
/proc/loadavg: 4.77 4.70 4.79 7/330 1017790
/proc/meminfo: memFree=95281096/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16293004 CPUtime=3546.31 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 691239 0 0 0 354011 620 0 0 20 0 20 0 196709782 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4073251 5947 1 0 4085198 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=11488 CPUtime=2803.78 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 223147 0 0 0 280233 145 0 0 20 0 20 0 196709783 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=16293004 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=47000 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 1150 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=16293004 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3546.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16293004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3094 s]*
/proc/loadavg: 4.52 4.64 4.76 5/330 1017798
/proc/meminfo: memFree=95066928/131524600 swapFree=131071996/131071996
[pid=1015682] ppid=1015679 vsize=19108176 memory=16293004 CPUtime=3600.08 cores=1,3
/proc/1015682/stat : 1015682 (java) S 1015679 1015682 1015377 0 -1 1077936128 693608 0 0 0 359387 621 0 0 20 0 20 0 196709782 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
/proc/1015682/statm: 4777044 4073251 5947 1 0 4085198 0
[pid=1015682/tid=1015684] ppid=1015679 vsize=19108176 memory=-7308600552828594528 CPUtime=2853.89 cores=1,3
/proc/1015682/task/1015684/stat : 1015684 (java) R 1015679 1015682 1015377 0 -1 4194368 225266 0 0 0 285244 145 0 0 20 0 20 0 196709783 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015693] ppid=1015679 vsize=19108176 memory=2760 CPUtime=0 cores=1,3
/proc/1015682/task/1015693/stat : 1015693 (Finalizer) S 1015679 1015682 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196709785 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015700] ppid=1015679 vsize=19108176 memory=5004 CPUtime=0 cores=1,3
/proc/1015682/task/1015700/stat : 1015700 (Common-Cleaner) S 1015679 1015682 1015377 0 -1 1077936192 1150 0 0 0 0 0 0 0 20 0 20 0 196709786 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
[pid=1015682/tid=1015701] ppid=1015679 vsize=19108176 memory=7593364 CPUtime=0 cores=1,3
/proc/1015682/task/1015701/stat : 1015701 (Timer-0) S 1015679 1015682 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196709809 19566772224 4073251 134679101440 94690300485632 94690300489328 140728516694096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94690300497144 94690300497936 94690333753344 140728516699141 140728516699231 140728516699231 140728516706248 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16293004 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3094.15 s]
# the end of solver process 1015682 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3594.02 s, system=6.26897 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3094.11 s]*
/proc/loadavg: 4.52 4.64 4.76 6/313 1017801
/proc/meminfo: memFree=97896984/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3094.15
CPU time (s): 3600.29
CPU user time (s): 3594.02
CPU system time (s): 6.26897
CPU usage (%): 116.358
Max. virtual memory (cumulated for all children) (KiB): 19114336
Max. memory (cumulated for all children) (KiB): 16293152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.02
system time used= 6.26897
maximum resident set size= 16294520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106665
involuntary context switches= 38471


# summary of solver processes directly reported to runsolver:
#   pid: 1015682
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3594.02
#   total CPU system time (s): 6.26897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39966 second user time and 15.3059 second system time

The end

Begin job on nodeC016 at 2024-07-20 05:18:24
IDJOB=4452364
IDBENCH=164294
IDSOLVER=3058
FILE ID=nodeC016/4452364-1721445492
RUNJOBID= nodeC016-1721444951-1015389
SLURM_JOB_ID= 7545662
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-777800.0.u.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452364-1721445492/watcher-4452364-1721445492 -o /tmp/evaluation-result-4452364-1721445492/solver-4452364-1721445492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015389 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452364-1721445492.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 85c335a5d84e5af9815833eb64512629
RANDOM SEED=995825681

nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.074
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3646.330
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3637.354
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.320
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.953
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.442
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3637.465
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.025
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        83061928 kB
MemAvailable:   86945292 kB
Buffers:          419820 kB
Cached:          4305172 kB
SwapCached:            0 kB
Active:           697032 kB
Inactive:       47060372 kB
Active(anon):       1544 kB
Inactive(anon): 43076772 kB
Active(file):     695488 kB
Inactive(file):  3983600 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1108 kB
Writeback:             0 kB
AnonPages:      43030900 kB
Mapped:           127824 kB
Shmem:             45912 kB
KReclaimable:      87848 kB
Slab:             199724 kB
SReclaimable:      87848 kB
SUnreclaim:       111876 kB
KernelStack:        5008 kB
PageTables:        94204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   46879572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73472 kB
HardwareCorrupted:     0 kB
AnonHugePages:  42455040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-20 06:09:58

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-777800.0.u.opb
MD5SUM	85c335a5d84e5af9815833eb64512629
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.043724
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	6400
Total number of constraints	476
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	472
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	6400
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	81
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	6481
Number of bits of the biggest sum of numbers	13
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4452364

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data