PB'24 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	? (TO)	3600.28	3539.1

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441991-1721297363/watcher-4441991-1721297363 -o /tmp/evaluation-result-4441991-1721297363/solver-4441991-1721297363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721293749-941962 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4441991-1721297363.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=944985, runsolver pid=944982

[startup+0.104382 s]*
/proc/loadavg: 4.20 4.23 4.24 6/315 945003
/proc/meminfo: memFree=108826000/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=18975048 memory=57704 CPUtime=0.13 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 6487 0 0 0 10 3 0 0 20 0 18 0 181892420 19430449152 14426 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4743762 14426 5571 1 0 550923 0
[pid=944985/tid=944987] ppid=944982 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) S 944982 944985 941949 0 -1 1077936192 5470 0 0 0 6 3 0 0 20 0 18 0 181892420 19430449152 14426 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181892425 19430449152 14426 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=18975048 memory=15255952358280619 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 181892426 19430449152 14426 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57704 KiB

[startup+0.218848 s]*
/proc/loadavg: 4.20 4.23 4.24 7/315 945003
/proc/meminfo: memFree=108816188/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=18975048 memory=70068 CPUtime=0.34 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 7402 0 0 0 30 4 0 0 20 0 18 0 181892420 19430449152 17517 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4743762 17517 5720 1 0 551723 0
[pid=944985/tid=944987] ppid=944982 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 5982 0 0 0 17 3 0 0 20 0 18 0 181892420 19430449152 17517 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181892425 19430449152 17517 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 181892426 19430449152 17517 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70068 KiB

[startup+0.330848 s]*
/proc/loadavg: 4.20 4.23 4.24 7/315 945003
/proc/meminfo: memFree=108796664/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=18975048 memory=91716 CPUtime=0.55 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 7587 0 0 0 50 5 0 0 20 0 18 0 181892420 19430449152 22929 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4743762 22929 5809 1 0 551836 0
[pid=944985/tid=944987] ppid=944982 vsize=18975048 memory=-9031231728849822396 CPUtime=0.3 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 6022 0 0 0 27 3 0 0 20 0 18 0 181892420 19430449152 22929 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181892425 19430449152 22929 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 181892426 19430449152 22929 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 91716 KiB

[startup+0.700844 s]
/proc/loadavg: 4.20 4.23 4.24 6/315 945003
/proc/meminfo: memFree=108723832/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19041612 memory=239644 CPUtime=1.22 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 9225 0 0 0 113 9 0 0 20 0 19 0 181892420 19498610688 59911 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4760403 59911 5841 1 0 553071 0
[pid=944985/tid=944987] ppid=944982 vsize=19041612 memory=5616 CPUtime=0.6 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 6098 0 0 0 54 6 0 0 20 0 19 0 181892420 19498610688 59911 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 181892425 19498610688 59911 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 181892426 19498610688 59911 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 239644 KiB

[startup+1.5003 s]
/proc/loadavg: 4.20 4.23 4.24 6/317 945007
/proc/meminfo: memFree=108064872/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=838648 CPUtime=2.78 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 20733 0 0 0 256 22 0 0 20 0 20 0 181892420 19566772224 209662 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 209662 5841 1 0 559263 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=11884 CPUtime=1.33 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 6449 0 0 0 115 18 0 0 20 0 20 0 181892420 19566772224 209662 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 209662 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 209662 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 209662 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 838648 KiB

[startup+3.10685 s]
/proc/loadavg: 4.20 4.23 4.24 6/317 945007
/proc/meminfo: memFree=107848944/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=1086072 CPUtime=5.98 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 23594 0 0 0 570 28 0 0 20 0 20 0 181892420 19566772224 271518 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 271518 5841 1 0 560802 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 6821 0 0 0 270 22 0 0 20 0 20 0 181892420 19566772224 271518 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 271518 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 271518 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 271518 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1086072 KiB

[startup+6.30028 s]
/proc/loadavg: 4.26 4.25 4.25 5/317 945007
/proc/meminfo: memFree=106979148/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=1981024 CPUtime=11.05 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 35901 0 0 0 1056 49 0 0 20 0 20 0 181892420 19566772224 495256 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 495256 5857 1 0 828204 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=0 CPUtime=5.95 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 8969 0 0 0 555 40 0 0 20 0 20 0 181892420 19566772224 495256 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 495256 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 495256 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 495256 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 11.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1981024 KiB

[startup+12.7005 s]
/proc/loadavg: 4.24 4.24 4.25 5/317 945008
/proc/meminfo: memFree=106473940/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=2405100 CPUtime=17.79 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 36304 0 0 0 1720 59 0 0 20 0 20 0 181892420 19566772224 601275 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 601275 5857 1 0 828215 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=473116 CPUtime=12.11 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 9194 0 0 0 1162 49 0 0 20 0 20 0 181892420 19566772224 601275 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=2405100 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 601275 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=1127208 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 601275 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 601275 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 17.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2405100 KiB

[startup+25.5089 s]
/proc/loadavg: 4.34 4.26 4.25 6/317 945010
/proc/meminfo: memFree=104814920/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=4060700 CPUtime=33.1 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 38173 0 0 0 3217 93 0 0 20 0 20 0 181892420 19566772224 1015175 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1015175 5857 1 0 1480039 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=2405100 CPUtime=24.4 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 10147 0 0 0 2361 79 0 0 20 0 20 0 181892420 19566772224 1015175 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=4060000 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1015175 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1015175 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1015175 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 33.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4060700 KiB

[startup+51.1058 s]
/proc/loadavg: 4.58 4.32 4.28 6/319 945087
/proc/meminfo: memFree=108404084/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5100932 CPUtime=62.91 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 53885 0 0 0 6173 118 0 0 20 0 20 0 181892420 19566772224 1275233 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1275233 5857 1 0 1480562 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=5041388 CPUtime=49.14 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 13614 0 0 0 4819 95 0 0 20 0 20 0 181892420 19566772224 1275233 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=5080376 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1275233 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1275233 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0

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

/proc/meminfo: memFree=103586136/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5870088 CPUtime=3279.5 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 393653 0 0 0 327532 418 0 0 20 0 20 0 181892420 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467522 5894 1 0 1481406 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=5870088 CPUtime=3153.03 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 193325 0 0 0 315148 155 0 0 20 0 20 0 181892420 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=5870072 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3535 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3279.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5870088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.29 4.35 5/319 946979
/proc/meminfo: memFree=103585684/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5870088 CPUtime=3340.1 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 399179 0 0 0 333587 423 0 0 20 0 20 0 181892420 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467522 5894 1 0 1481406 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=5870088 CPUtime=3211.7 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 196949 0 0 0 321013 157 0 0 20 0 20 0 181892420 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=5870088 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3611 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=5870088 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3340.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5870088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.28 4.34 5/319 946990
/proc/meminfo: memFree=103634548/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5870088 CPUtime=3400.65 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 404670 0 0 0 339637 428 0 0 20 0 20 0 181892420 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467522 5894 1 0 1481406 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=2312 CPUtime=3270.46 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 200304 0 0 0 326889 157 0 0 20 0 20 0 181892420 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3688 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=5870088 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467522 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3400.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5870088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.27 4.33 5/317 947001
/proc/meminfo: memFree=104827280/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5871376 CPUtime=3462.25 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 425025 0 0 0 345789 436 0 0 20 0 20 0 181892420 19566772224 1467844 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467844 5894 1 0 1481746 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=0 CPUtime=3329.21 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 206383 0 0 0 332763 158 0 0 20 0 20 0 181892420 19566772224 1467844 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=5870088 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467844 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3764 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1467844 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=5871376 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467844 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3462.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5871376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.27 4.33 5/317 947011
/proc/meminfo: memFree=104826804/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5871632 CPUtime=3522.73 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 429754 0 0 0 351832 441 0 0 20 0 20 0 181892420 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467908 5894 1 0 1481783 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=0 CPUtime=3388.17 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 209281 0 0 0 338657 160 0 0 20 0 20 0 181892420 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=5870088 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3764 0 0 0 0 0 0 0 20 0 20 0 181892426 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=5636 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3522.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5871632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.28 4.33 5/317 947021
/proc/meminfo: memFree=104826356/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5871632 CPUtime=3583.14 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 433308 0 0 0 357867 447 0 0 20 0 20 0 181892420 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467908 5894 1 0 1481783 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=5871632 CPUtime=3447.31 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 212036 0 0 0 344570 161 0 0 20 0 20 0 181892420 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=5871632 CPUtime=0.01 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3809 0 0 0 0 1 0 0 20 0 20 0 181892426 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=5871632 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5871632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3538.9 s]
/proc/loadavg: 4.34 4.28 4.33 5/317 947023
/proc/meminfo: memFree=104826276/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19108176 memory=5871632 CPUtime=3600.04 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 434667 0 0 0 359556 448 0 0 20 0 20 0 181892420 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4777044 1467908 5894 1 0 1481783 0
[pid=944985/tid=944987] ppid=944982 vsize=19108176 memory=5871632 CPUtime=3463.53 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) R 944982 944985 941949 0 -1 4194368 212303 0 0 0 346192 161 0 0 20 0 20 0 181892420 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19108176 memory=5871632 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181892425 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19108176 memory=5871632 CPUtime=0.01 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3809 0 0 0 0 1 0 0 20 0 20 0 181892426 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945007] ppid=944982 vsize=19108176 memory=5871632 CPUtime=0 cores=5,7
/proc/944985/task/945007/stat : 945007 (Timer-0) S 944982 944985 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181892519 19566772224 1467908 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5871632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.77 s, system=4.51255 s

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

[startup+3539.01 s]*
/proc/loadavg: 4.34 4.28 4.33 5/318 947026
/proc/meminfo: memFree=104825608/131655788 swapFree=131071996/131071996
[pid=944985] ppid=944982 vsize=19307868 memory=5872312 CPUtime=3600.19 cores=5,7
/proc/944985/stat : 944985 (java) S 944982 944985 941949 0 -1 1077936128 438076 0 0 0 359571 448 0 0 20 0 21 0 181892420 19771256832 1468078 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
/proc/944985/statm: 4826967 1468078 5893 1 0 1482686 0
[pid=944985/tid=944987] ppid=944982 vsize=19307868 memory=-8744129447333241532 CPUtime=3463.56 cores=5,7
/proc/944985/task/944987/stat : 944987 (java) S 944982 944985 941949 0 -1 1077936192 212475 0 0 0 346195 161 0 0 20 0 21 0 181892420 19771256832 1468078 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=944996] ppid=944982 vsize=19307868 memory=-8549726991056027548 CPUtime=0 cores=5,7
/proc/944985/task/944996/stat : 944996 (Finalizer) S 944982 944985 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 181892425 19771256832 1468078 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=945003] ppid=944982 vsize=19307868 memory=28772 CPUtime=0.01 cores=5,7
/proc/944985/task/945003/stat : 945003 (Common-Cleaner) S 944982 944985 941949 0 -1 1077936192 3809 0 0 0 0 1 0 0 20 0 21 0 181892426 19771256832 1468078 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
[pid=944985/tid=947025] ppid=944982 vsize=19307868 memory=32628 CPUtime=0.06 cores=5,7
/proc/944985/task/947025/stat : 947025 (Thread-0) R 944982 944985 941949 0 -1 4194368 532 0 0 0 6 0 0 0 20 0 21 0 182246311 19771256832 1468078 134679101440 94239206105088 94239206108784 140733247113680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94239206116600 94239206117392 94239215222784 140733247116276 140733247116384 140733247116384 140733247123400 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5872312 KiB

Child status: 143

Real time (s): 3539.1
CPU time (s): 3600.28
CPU user time (s): 3595.77
CPU system time (s): 4.51255
CPU usage (%): 101.729
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5872312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.77
system time used= 4.51255
maximum resident set size= 5873216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129365
involuntary context switches= 6269


# summary of solver processes directly reported to runsolver:
#   pid: 944985
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3595.77
#   total CPU system time (s): 4.51255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.914 second user time and 38.7837 second system time

The end

Begin job on nodeC003 at 2024-07-18 12:09:35
IDJOB=4441991
IDBENCH=147759
IDSOLVER=3052
FILE ID=nodeC003/4441991-1721297363
RUNJOBID= nodeC003-1721293749-941962
SLURM_JOB_ID= 7542592
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441991-1721297363/watcher-4441991-1721297363 -o /tmp/evaluation-result-4441991-1721297363/solver-4441991-1721297363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721293749-941962 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4441991-1721297363.opb

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

MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=1927729294

nodeC003.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	: 0xb00001f
cpu MHz		: 3491.880
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 3531.419
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.438
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 3502.304
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 3491.903
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.419
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.217
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        108862876 kB
MemAvailable:   114411528 kB
Buffers:          498024 kB
Cached:          5827364 kB
SwapCached:            0 kB
Active:           912176 kB
Inactive:       21166856 kB
Active(anon):       1460 kB
Inactive(anon): 15789864 kB
Active(file):     910716 kB
Inactive(file):  5376992 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1816 kB
Writeback:            36 kB
AnonPages:      15753332 kB
Mapped:           125908 kB
Shmem:             37704 kB
KReclaimable:     201948 kB
Slab:             317660 kB
SReclaimable:     201948 kB
SUnreclaim:       115712 kB
KernelStack:        4736 kB
PageTables:        40644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16325060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57344 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15316992 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-18 13:08:34

Name	PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	94ed12462fdb637cfaac2f219d20a948
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	0.831382
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	4602
Total number of constraints	30179
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	941
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	3
Maximum length of a constraint	29
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
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 4441991

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data