PB'25 competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Resolution 2025-06-06	? (TO)	3600.16	3586.33

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: 63665 MiB (62592 MiB free)
  memory of node 1: 64507 MiB (63602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544109-1753232630/watcher-4544109-1753232630 -o /tmp/evaluation-result-4544109-1753232630/solver-4544109-1753232630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753232630-166548 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4544109-1753232630.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=166626, runsolver pid=166597
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 1.44 2.74 3.55 7/335 166672
/proc/meminfo: memFree=129169512/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=18930384 memory=55332 CPUtime=0.11 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 6507 0 0 0 9 2 0 0 20 0 18 0 238940796 19384713216 13833 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4732596 13833 5337 1 0 547586 0
[pid=166626/tid=166645] ppid=166597 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 5033 0 0 0 6 1 0 0 20 0 18 0 238940797 19384713216 13865 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238940799 19384713216 13865 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=18930384 memory=60684515963265 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238940800 19384713216 13865 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55332 KiB

[startup+0.20574 s]*
/proc/loadavg: 1.44 2.74 3.55 13/317 166676
/proc/meminfo: memFree=129047276/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=18930384 memory=82244 CPUtime=0.3 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 6979 0 0 0 28 2 0 0 20 0 18 0 238940796 19384713216 20561 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4732596 20561 5433 1 0 547889 0
[pid=166626/tid=166645] ppid=166597 vsize=18930384 memory=4026990711 CPUtime=0.17 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 5281 0 0 0 15 2 0 0 20 0 18 0 238940797 19384713216 20561 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=18930384 memory=215637835299 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238940799 19384713216 20561 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=18930384 memory=30004 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238940800 19384713216 20561 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 82244 KiB

[startup+0.305775 s]*
/proc/loadavg: 1.44 2.74 3.55 8/319 166681
/proc/meminfo: memFree=128942000/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=18996948 memory=161080 CPUtime=0.49 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 8717 0 0 0 44 5 0 0 20 0 19 0 238940796 19452874752 40270 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4749237 40270 5465 1 0 549284 0
[pid=166626/tid=166645] ppid=166597 vsize=18996948 memory=-5155625786856073309 CPUtime=0.24 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) S 166597 166626 166535 0 -1 4194368 5322 0 0 0 21 3 0 0 20 0 19 0 238940797 19452874752 40270 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238940799 19452874752 40270 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238940800 19452874752 40270 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161080 KiB

[startup+0.700218 s]
/proc/loadavg: 1.44 2.74 3.55 7/318 166687
/proc/meminfo: memFree=128803696/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=474408 CPUtime=1.21 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 14807 0 0 0 110 11 0 0 20 0 20 0 238940796 19521036288 118602 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 118602 5497 1 0 1392344 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=27520 CPUtime=0.55 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 5481 0 0 0 47 8 0 0 20 0 20 0 238940797 19521036288 118602 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 118602 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 118602 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 474408 KiB

[startup+1.50017 s]
/proc/loadavg: 1.44 2.74 3.55 6/319 166688
/proc/meminfo: memFree=128605580/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=484468 CPUtime=2.47 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 15288 0 0 0 236 11 0 0 20 0 20 0 238940796 19521036288 121117 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 121117 5497 1 0 1392530 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=3328 CPUtime=1.33 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 5492 0 0 0 125 8 0 0 20 0 20 0 238940797 19521036288 121117 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 121117 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 121117 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 121117 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 484468 KiB

[startup+3.10574 s]
/proc/loadavg: 1.44 2.74 3.55 4/321 166786
/proc/meminfo: memFree=128533864/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=500980 CPUtime=4.11 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 15311 0 0 0 399 12 0 0 20 0 20 0 238940796 19521036288 125245 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 125245 5497 1 0 1392532 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=14824 CPUtime=2.93 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 5500 0 0 0 285 8 0 0 20 0 20 0 238940797 19521036288 125245 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 125245 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 125245 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 125245 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 500980 KiB

[startup+6.30022 s]
/proc/loadavg: 1.73 2.78 3.56 5/343 166811
/proc/meminfo: memFree=128197008/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=547560 CPUtime=7.53 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 20015 0 0 0 739 14 0 0 20 0 20 0 238940796 19521036288 136890 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 136890 5529 1 0 1392654 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=0 CPUtime=6.08 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 6711 0 0 0 599 9 0 0 20 0 20 0 238940797 19521036288 136890 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 136890 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 136890 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=496884 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 136890 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 547560 KiB

[startup+12.7002 s]
/proc/loadavg: 1.91 2.80 3.56 5/343 166811
/proc/meminfo: memFree=127451880/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=547688 CPUtime=13.99 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 20468 0 0 0 1384 15 0 0 20 0 20 0 238940796 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 136922 5529 1 0 1392654 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=496884 CPUtime=12.47 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 6852 0 0 0 1238 9 0 0 20 0 20 0 238940797 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=547688 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=547688 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 547688 KiB

[startup+25.5002 s]
/proc/loadavg: 2.52 2.89 3.58 5/343 166811
/proc/meminfo: memFree=125977224/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=547688 CPUtime=26.77 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 22848 0 0 0 2662 15 0 0 20 0 20 0 238940796 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 136922 5529 1 0 1392654 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=10752 CPUtime=25.23 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 8384 0 0 0 2514 9 0 0 20 0 20 0 238940797 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=27520 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=547688 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=280836771826112 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 136922 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 26.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 547688 KiB

[startup+51.1058 s]
/proc/loadavg: 3.11 3.00 3.60 5/342 166811
/proc/meminfo: memFree=123719912/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=703476 CPUtime=52.43 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 25890 0 0 0 5223 20 0 0 20 0 20 0 238940796 19521036288 175869 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 175869 5529 1 0 1392654 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=703476 CPUtime=50.61 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 8886 0 0 0 5052 9 0 0 20 0 20 0 238940797 19521036288 175869 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=703476 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 175869 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=703476 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 175869 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0

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

/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1434667 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=5738668 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2222 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1434667 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=5738668 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1434667 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3235.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5738668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/340 166967
/proc/meminfo: memFree=93304200/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=5779672 CPUtime=3296.02 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 153710 0 0 0 329376 226 0 0 20 0 20 0 238940796 19521036288 1444918 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1444918 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=-8670666673107018428 CPUtime=3258.32 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 67202 0 0 0 325807 25 0 0 20 0 20 0 238940797 19521036288 1444918 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=5738668 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1444918 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=5738668 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2294 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1444918 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=5779672 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1444918 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3296.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5779672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.19 5/340 166969
/proc/meminfo: memFree=93115700/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=5910744 CPUtime=3356 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 156305 0 0 0 335370 230 0 0 20 0 20 0 238940796 19521036288 1477686 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1477686 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=14824 CPUtime=3318.01 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 68892 0 0 0 331775 26 0 0 20 0 20 0 238940797 19521036288 1477686 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1477686 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=5910744 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2333 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1477686 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1477686 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3356 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5910744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/340 167038
/proc/meminfo: memFree=108356840/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=6199512 CPUtime=3416.12 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 158244 0 0 0 341374 238 0 0 20 0 20 0 238940796 19521036288 1549878 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1549878 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=27648 CPUtime=3377.58 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 70660 0 0 0 337732 26 0 0 20 0 20 0 238940797 19521036288 1549878 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=6199512 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1549878 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2333 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1549878 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1549878 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3416.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6199512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.22 4.18 7/339 167248
/proc/meminfo: memFree=108096812/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=6252760 CPUtime=3476.22 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 162022 0 0 0 347380 242 0 0 20 0 20 0 238940796 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1563190 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=6199512 CPUtime=3437.18 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 73203 0 0 0 343691 27 0 0 20 0 20 0 238940797 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=6199512 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2444 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=6199512 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3476.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6252760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/341 167254
/proc/meminfo: memFree=107816636/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=6252760 CPUtime=3536.09 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 163324 0 0 0 353365 244 0 0 20 0 20 0 238940796 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1563190 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=6199512 CPUtime=3497.02 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 74373 0 0 0 349675 27 0 0 20 0 20 0 238940797 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=6252760 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2522 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=6252760 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1563190 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3536.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6252760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.18 6/339 167325
/proc/meminfo: memFree=113885392/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=6336728 CPUtime=3596.12 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 166207 0 0 0 359365 247 0 0 20 0 20 0 238940796 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1584182 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=6199512 CPUtime=3556.64 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 76127 0 0 0 355636 28 0 0 20 0 20 0 238940797 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=6336728 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2522 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=6336728 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3596.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6336728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.2 s]
/proc/loadavg: 4.35 4.23 4.19 6/340 167458
/proc/meminfo: memFree=121574280/131249996 swapFree=33010416/33010684
[pid=166626] ppid=166597 vsize=19063512 memory=6336728 CPUtime=3600 cores=5,7
/proc/166626/stat : 166626 (java) S 166597 166626 166535 0 -1 4194304 166412 0 0 0 359753 247 0 0 20 0 20 0 238940796 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
/proc/166626/statm: 4765878 1584182 5529 1 0 1740821 0
[pid=166626/tid=166645] ppid=166597 vsize=19063512 memory=-5155633680935826750 CPUtime=3560.53 cores=5,7
/proc/166626/task/166645/stat : 166645 (java) R 166597 166626 166535 0 -1 4194368 76329 0 0 0 356025 28 0 0 20 0 20 0 238940797 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166665] ppid=166597 vsize=19063512 memory=-8670666673107018428 CPUtime=0 cores=5,7
/proc/166626/task/166665/stat : 166665 (Finalizer) S 166597 166626 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940799 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166672] ppid=166597 vsize=19063512 memory=-8670666673107018428 CPUtime=0 cores=5,7
/proc/166626/task/166672/stat : 166672 (Common-Cleaner) S 166597 166626 166535 0 -1 4194368 2522 0 0 0 0 0 0 0 20 0 20 0 238940800 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
[pid=166626/tid=166688] ppid=166597 vsize=19063512 memory=29992 CPUtime=0 cores=5,7
/proc/166626/task/166688/stat : 166688 (Timer-0) S 166597 166626 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940856 19521036288 1584182 18446744073709551615 94022605373440 94022605377136 140726242571248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94022605384952 94022605385744 94022605811712 140726242572671 140726242572772 140726242572772 140726242578376 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6336728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.66 s, system=2.50171 s

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

[startup+3586.3 s]*
/proc/loadavg: 4.35 4.23 4.19 6/322 167461
/proc/meminfo: memFree=127641456/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3586.33
CPU time (s): 3600.16
CPU user time (s): 3597.66
CPU system time (s): 2.50171
CPU usage (%): 100.386
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6336728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.66
system time used= 2.50171
maximum resident set size= 6337496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115706
involuntary context switches= 21163


# summary of solver processes directly reported to runsolver:
#   pid: 166626
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3597.66
#   total CPU system time (s): 2.50171

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71837 second user time and 17.7107 second system time

The end

Begin job on nodeC017 at 2025-07-23 03:03:50
IDJOB=4544109
IDBENCH=174892
IDSOLVER=3363
FILE ID=nodeC017/4544109-1753232630
RUNJOBID= nodeC017-1753232630-166548
SLURM_JOB_ID= 9687845
Free space on /tmp= 433044 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_10_092.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544109-1753232630/watcher-4544109-1753232630 -o /tmp/evaluation-result-4544109-1753232630/solver-4544109-1753232630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753232630-166548 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4544109-1753232630.opb

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

MD5SUM BENCH= abde55a93501845a748728a01651cccf
RANDOM SEED=484682920

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.187
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.027
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.559
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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.946
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3601.130
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.058
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.007
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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.032
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129255212 kB
MemAvailable:   129681648 kB
Buffers:            1688 kB
Cached:          1193508 kB
SwapCached:           32 kB
Active:          1046796 kB
Inactive:         219796 kB
Active(anon):      73528 kB
Inactive(anon):    24108 kB
Active(file):     973268 kB
Inactive(file):   195688 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5820 kB
Writeback:             0 kB
AnonPages:         73912 kB
Mapped:           109028 kB
Shmem:             26240 kB
KReclaimable:     193040 kB
Slab:             287784 kB
SReclaimable:     193040 kB
SUnreclaim:        94744 kB
KernelStack:        4176 kB
PageTables:         2912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     345268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC017 at 2025-07-23 04:03:37

Name	PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb
MD5SUM	abde55a93501845a748728a01651cccf
Bench Category	DEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.10617
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	85570
Total number of constraints	1851
Number of constraints which are clauses	931
Number of constraints which are cardinality constraints (but not clauses)	920
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	93
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	9
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	94
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 4544109

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data