PB'24 competition: WBO track competition: execution trace

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

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: 63968 MiB (62618 MiB free)
  memory of node 1: 64473 MiB (62465 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424998-1720882562/watcher-4424998-1720882562 -o /tmp/evaluation-result-4424998-1720882562/solver-4424998-1720882562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720878868-715592 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424998-1720882562.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=718312, runsolver pid=718309
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 4.20 4.20 4.12 5/332 718330
/proc/meminfo: memFree=128041768/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=18975048 memory=64320 CPUtime=0.14 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 7096 0 0 0 12 2 0 0 20 0 18 0 140424309 19430449152 16080 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4743762 16080 5612 1 0 549341 0
[pid=718312/tid=718314] ppid=718309 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 5678 0 0 0 7 1 0 0 20 0 18 0 140424310 19430449152 16080 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424312 19430449152 16080 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140424313 19430449152 16080 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64320 KiB

[startup+0.205752 s]*
/proc/loadavg: 4.20 4.20 4.12 7/332 718330
/proc/meminfo: memFree=128023508/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=18975048 memory=85240 CPUtime=0.33 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 7477 0 0 0 31 2 0 0 20 0 18 0 140424309 19430449152 21310 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4743762 21310 5843 1 0 549566 0
[pid=718312/tid=718314] ppid=718309 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 5827 0 0 0 17 1 0 0 20 0 18 0 140424310 19430449152 21310 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=18975048 memory=17016 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424312 19430449152 21310 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=18975048 memory=14971170189477532 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140424313 19430449152 21310 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85240 KiB

[startup+0.306491 s]*
/proc/loadavg: 4.20 4.20 4.12 7/332 718330
/proc/meminfo: memFree=127976356/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=18975048 memory=132228 CPUtime=0.53 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 8984 0 0 0 50 3 0 0 20 0 18 0 140424309 19430449152 33057 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4743762 33057 5843 1 0 550552 0
[pid=718312/tid=718314] ppid=718309 vsize=18975048 memory=-8529086950338372284 CPUtime=0.29 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 5849 0 0 0 27 2 0 0 20 0 18 0 140424310 19430449152 33057 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424312 19430449152 33057 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140424313 19430449152 33057 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132228 KiB

[startup+0.700232 s]
/proc/loadavg: 4.20 4.20 4.12 7/333 718331
/proc/meminfo: memFree=127926588/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19041612 memory=213864 CPUtime=1.27 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 15450 0 0 0 121 6 0 0 20 0 19 0 140424309 19498610688 53466 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4760403 53466 5878 1 0 554876 0
[pid=718312/tid=718314] ppid=718309 vsize=19041612 memory=5464 CPUtime=0.6 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 6000 0 0 0 57 3 0 0 20 0 19 0 140424310 19498610688 53466 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140424312 19498610688 53466 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140424313 19498610688 53466 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 213864 KiB

[startup+1.50349 s]
/proc/loadavg: 4.20 4.20 4.12 7/334 718332
/proc/meminfo: memFree=127888940/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=217664 CPUtime=2.86 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 17413 0 0 0 280 6 0 0 20 0 20 0 140424309 19566772224 54416 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 54416 5894 1 0 555886 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=13116 CPUtime=1.37 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 6035 0 0 0 134 3 0 0 20 0 20 0 140424310 19566772224 54416 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 54416 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 54416 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 54416 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 217664 KiB

[startup+3.10562 s]
/proc/loadavg: 4.18 4.19 4.12 5/334 718332
/proc/meminfo: memFree=127887956/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=218572 CPUtime=5.35 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 21954 0 0 0 528 7 0 0 20 0 20 0 140424309 19566772224 54643 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 54643 5897 1 0 555889 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 6113 0 0 0 293 3 0 0 20 0 20 0 140424310 19566772224 54643 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 54643 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 54643 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 54643 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 218572 KiB

[startup+6.30026 s]
/proc/loadavg: 4.18 4.19 4.12 5/334 718332
/proc/meminfo: memFree=127815216/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=211204 CPUtime=8.6 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 22695 0 0 0 853 7 0 0 20 0 20 0 140424309 19566772224 52801 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 52801 5897 1 0 555891 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=0 CPUtime=6.14 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 6320 0 0 0 611 3 0 0 20 0 20 0 140424310 19566772224 52801 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 52801 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 52801 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=35372 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 52801 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211204 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.19 4.12 5/334 718334
/proc/meminfo: memFree=127812864/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=211412 CPUtime=15.08 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 26504 0 0 0 1500 8 0 0 20 0 20 0 140424309 19566772224 52853 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 52853 5897 1 0 555891 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=215976 CPUtime=12.52 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 6672 0 0 0 1249 3 0 0 20 0 20 0 140424310 19566772224 52853 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=211400 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 52853 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=218572 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 52853 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 52853 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 15.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211412 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.20 4.12 5/334 718335
/proc/meminfo: memFree=127806300/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=211780 CPUtime=28.08 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 34075 0 0 0 2798 10 0 0 20 0 20 0 140424309 19566772224 52945 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 52945 5913 1 0 555923 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=211400 CPUtime=25.28 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 9187 0 0 0 2524 4 0 0 20 0 20 0 140424310 19566772224 52945 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=211704 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 52945 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 52945 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 52945 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 28.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211780 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.18 4.11 5/334 718340
/proc/meminfo: memFree=127689152/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=245044 CPUtime=53.75 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 40687 0 0 0 5363 12 0 0 20 0 20 0 140424309 19566772224 61261 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 61261 5929 1 0 555923 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=244980 CPUtime=50.74 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 10662 0 0 0 5070 4 0 0 20 0 20 0 140424310 19566772224 61261 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=245004 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 61261 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 61261 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=211412 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=118696480/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=4304892 CPUtime=3343.55 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 181264 0 0 0 334161 194 0 0 20 0 20 0 140424309 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 1076223 5953 1 0 1292054 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=4304892 CPUtime=3314.56 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 48127 0 0 0 331422 34 0 0 20 0 20 0 140424310 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=2212 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2724 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=32136 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3343.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4304892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/334 719767
/proc/meminfo: memFree=118695876/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=4304892 CPUtime=3403.61 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 182052 0 0 0 340166 195 0 0 20 0 20 0 140424309 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 1076223 5953 1 0 1292054 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=4304892 CPUtime=3374.21 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 48580 0 0 0 337387 34 0 0 20 0 20 0 140424310 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=1900 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=4304892 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2724 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3403.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4304892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/334 719779
/proc/meminfo: memFree=118621324/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=4304892 CPUtime=3463.54 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 185180 0 0 0 346157 197 0 0 20 0 20 0 140424309 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 1076223 5953 1 0 1292054 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=35372 CPUtime=3433.98 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 49686 0 0 0 343364 34 0 0 20 0 20 0 140424310 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=4304892 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2810 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=4304892 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 1076223 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3463.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4304892 KiB

[startup+3522.3 s]
/proc/loadavg: 2.58 3.69 3.95 2/255 719893
/proc/meminfo: memFree=125240624/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=4304900 CPUtime=3523.61 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 185784 0 0 0 352163 198 0 0 20 0 20 0 140424309 19566772224 1076225 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 1076225 5953 1 0 1292054 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=0 CPUtime=3493.65 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) S 718309 718312 712764 0 -1 1077936192 50122 0 0 0 349331 34 0 0 20 0 20 0 140424310 19566772224 1076225 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 1076225 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=4304892 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2810 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 1076225 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 1076225 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3523.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4304900 KiB

[startup+3582.3 s]
/proc/loadavg: 1.63 3.21 3.77 2/255 720287
/proc/meminfo: memFree=125239860/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=4304912 CPUtime=3583.5 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 187130 0 0 0 358151 199 0 0 20 0 20 0 140424309 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 1076228 5953 1 0 1292054 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=11376 CPUtime=3553.51 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 51162 0 0 0 355317 34 0 0 20 0 20 0 140424310 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=1900 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2931 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=-7738442717233110910 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3583.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4304912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.9 s]
/proc/loadavg: 1.49 3.10 3.72 2/255 720289
/proc/meminfo: memFree=125239864/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19108176 memory=4304912 CPUtime=3600.07 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 187311 0 0 0 359808 199 0 0 20 0 20 0 140424309 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4777044 1076228 5953 1 0 1292054 0
[pid=718312/tid=718314] ppid=718309 vsize=19108176 memory=11376 CPUtime=3570.07 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 51335 0 0 0 356973 34 0 0 20 0 20 0 140424310 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424312 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19108176 memory=4304912 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2931 0 0 0 0 0 0 0 20 0 20 0 140424313 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19108176 memory=-7738442717233110910 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424382 19566772224 1076228 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4304912 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.56 s, system=2.01636 s

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

[startup+3599.01 s]*
/proc/loadavg: 1.45 3.07 3.71 4/256 720291
/proc/meminfo: memFree=125239620/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19174740 memory=4305104 CPUtime=3600.28 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 189099 0 0 0 359829 199 0 0 20 0 21 0 140424309 19634933760 1076276 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4793685 1076276 5953 1 0 1292339 0
[pid=718312/tid=718314] ppid=718309 vsize=19174740 memory=-6242758064789551045 CPUtime=3570.08 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) S 718309 718312 712764 0 -1 1077936192 51338 0 0 0 356974 34 0 0 20 0 21 0 140424310 19634933760 1076276 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19174740 memory=-7738442717233110910 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140424312 19634933760 1076276 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19174740 memory=20224 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2931 0 0 0 0 0 0 0 20 0 21 0 140424313 19634933760 1076276 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19174740 memory=4304912 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 140424382 19634933760 1076276 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4305104 KiB

[startup+3599.11 s]
/proc/loadavg: 1.45 3.07 3.71 4/256 720291
/proc/meminfo: memFree=125239620/131524600 swapFree=131071996/131071996
[pid=718312] ppid=718309 vsize=19175768 memory=4305228 CPUtime=3600.49 cores=0,2
/proc/718312/stat : 718312 (java) S 718309 718312 712764 0 -1 1077936128 190694 0 0 0 359849 200 0 0 20 0 22 0 140424309 19635986432 1076307 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
/proc/718312/statm: 4793942 1076307 5952 1 0 1292611 0
[pid=718312/tid=718314] ppid=718309 vsize=19175768 memory=11376 CPUtime=3570.09 cores=0,2
/proc/718312/task/718314/stat : 718314 (java) R 718309 718312 712764 0 -1 4194368 51338 0 0 0 356975 34 0 0 20 0 22 0 140424310 19635986432 1076307 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718323] ppid=718309 vsize=19175768 memory=11376 CPUtime=0 cores=0,2
/proc/718312/task/718323/stat : 718323 (Finalizer) S 718309 718312 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 140424312 19635986432 1076307 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718330] ppid=718309 vsize=19175768 memory=4304912 CPUtime=0 cores=0,2
/proc/718312/task/718330/stat : 718330 (Common-Cleaner) S 718309 718312 712764 0 -1 1077936192 2931 0 0 0 0 0 0 0 20 0 22 0 140424313 19635986432 1076307 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
[pid=718312/tid=718332] ppid=718309 vsize=19175768 memory=-7738442717233110910 CPUtime=0 cores=0,2
/proc/718312/task/718332/stat : 718332 (Timer-0) S 718309 718312 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 22 0 140424382 19635986432 1076307 134679101440 94125422100480 94125422104176 140722322569232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94125422111992 94125422112784 94125435703296 140722322572269 140722322572359 140722322572359 140722322579400 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19175768 KiB
Current children cumulated memory: 4305228 KiB

Child status: 143

Real time (s): 3599.18
CPU time (s): 3600.58
CPU user time (s): 3598.56
CPU system time (s): 2.01636
CPU usage (%): 100.039
Max. virtual memory (cumulated for all children) (KiB): 19175768
Max. memory (cumulated for all children) (KiB): 4305228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.56
system time used= 2.01636
maximum resident set size= 4306300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113468
involuntary context switches= 33510


# summary of solver processes directly reported to runsolver:
#   pid: 718312
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3598.56
#   total CPU system time (s): 2.01636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82211 second user time and 17.5815 second system time

The end

Begin job on nodeC030 at 2024-07-13 16:56:15
IDJOB=4424998
IDBENCH=143873
IDSOLVER=3037
FILE ID=nodeC030/4424998-1720882562
RUNJOBID= nodeC030-1720878868-715592
SLURM_JOB_ID= 7483771
Free space on /tmp= 890056 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-22reduc_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424998-1720882562/watcher-4424998-1720882562 -o /tmp/evaluation-result-4424998-1720882562/solver-4424998-1720882562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720878868-715592 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424998-1720882562.wbo

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

MD5SUM BENCH= 145fe6fe39a80fcaff25336bfbc8c080
RANDOM SEED=1578163849

nodeC030.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		: 3650.621
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.28
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		: 3684.587
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	: 7005.11
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		: 3649.416
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.28
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		: 3599.884
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	: 7005.11
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		: 3677.413
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.28
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		: 3684.630
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	: 7005.11
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		: 3609.399
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.28
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		: 3599.792
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	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128085604 kB
MemAvailable:   128284164 kB
Buffers:          320844 kB
Cached:           721740 kB
SwapCached:            0 kB
Active:           500940 kB
Inactive:        2368288 kB
Active(anon):       1540 kB
Inactive(anon):  1862816 kB
Active(file):     499400 kB
Inactive(file):   505472 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3080 kB
Writeback:            12 kB
AnonPages:       1826240 kB
Mapped:           121660 kB
Shmem:             37720 kB
KReclaimable:      67024 kB
Slab:             166320 kB
SReclaimable:      67024 kB
SUnreclaim:        99296 kB
KernelStack:        5072 kB
PageTables:        13784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13811020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56000 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1536000 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:      201428 kB
DirectMap2M:     7960576 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC030 at 2024-07-13 17:56:14

Name	PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo
MD5SUM	145fe6fe39a80fcaff25336bfbc8c080
Bench Category	PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	1430
Total number of constraints	70954
Number of soft constraints	70873
Number of constraints which are clauses	70873
Number of constraints which are cardinality constraints (but not clauses)	81
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	22
Top cost	3389
Min constraint cost	1
Max constraint cost	2435
Sum of constraints costs	23717414
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	23
Number of bits of the biggest sum of numbers	5
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 4424998

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data