PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j CP VeriPB 2025-06-06	? (TO)		3600.36	3591.89

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: 63794 MiB (57250 MiB free)
  memory of node 1: 64507 MiB (58123 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508051-1751512544/watcher-4508051-1751512544 -o /tmp/evaluation-result-4508051-1751512544/solver-4508051-1751512544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751505361-72532 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4508051-1751512544 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4508051-1751512544.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=73473, runsolver pid=73470

[startup+0.100072 s]*
/proc/loadavg: 4.21 4.18 4.18 8/326 73491
/proc/meminfo: memFree=118127652/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=18930384 memory=50496 CPUtime=0.12 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 5788 0 0 0 9 3 0 0 20 0 18 0 66933269 19384713216 12624 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4732596 12624 5334 1 0 547012 0
[pid=73473/tid=73475] ppid=73470 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 4643 0 0 0 5 2 0 0 20 0 18 0 66933271 19384713216 12624 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66933275 19384713216 12624 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=18930384 memory=61792617516369 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66933276 19384713216 12624 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50496 KiB

[startup+0.213621 s]*
/proc/loadavg: 4.21 4.18 4.18 6/326 73491
/proc/meminfo: memFree=118122564/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=18930384 memory=53992 CPUtime=0.24 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 6121 0 0 0 20 4 0 0 20 0 18 0 66933269 19384713216 13498 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4732596 13498 5366 1 0 547287 0
[pid=73473/tid=73475] ppid=73470 vsize=18930384 memory=4026728732 CPUtime=0.14 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 4950 0 0 0 12 2 0 0 20 0 18 0 66933271 19384713216 13498 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66933275 19384713216 13498 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66933276 19384713216 13498 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53992 KiB

[startup+0.313636 s]*
/proc/loadavg: 4.21 4.18 4.18 8/326 73491
/proc/meminfo: memFree=118117460/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=18930384 memory=59724 CPUtime=0.36 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 6521 0 0 0 32 4 0 0 20 0 18 0 66933269 19384713216 14931 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4732596 14931 5366 1 0 547658 0
[pid=73473/tid=73475] ppid=73470 vsize=18930384 memory=-6000919507032762728 CPUtime=0.21 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 5089 0 0 0 18 3 0 0 20 0 18 0 66933271 19384713216 14931 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66933275 19384713216 14931 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66933276 19384713216 14931 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59724 KiB

[startup+0.700345 s]
/proc/loadavg: 4.21 4.18 4.18 8/326 73491
/proc/meminfo: memFree=117991180/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=18996948 memory=157416 CPUtime=1.05 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 8283 0 0 0 97 8 0 0 20 0 19 0 66933269 19452874752 39322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4749237 39322 5462 1 0 549090 0
[pid=73473/tid=73475] ppid=73470 vsize=18996948 memory=18560 CPUtime=0.54 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 5444 0 0 0 48 6 0 0 20 0 19 0 66933271 19452874752 39354 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66933275 19452874752 39354 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 66933276 19452874752 39354 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157416 KiB

[startup+1.50032 s]
/proc/loadavg: 4.21 4.18 4.18 7/327 73492
/proc/meminfo: memFree=117405516/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=18996948 memory=1296540 CPUtime=2.5 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 13993 0 0 0 218 32 0 0 20 0 19 0 66933269 19452874752 324135 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4749237 324135 5462 1 0 552254 0
[pid=73473/tid=73475] ppid=73470 vsize=18996948 memory=3200 CPUtime=1.19 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 6045 0 0 0 92 27 0 0 20 0 19 0 66933271 19452874752 324135 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66933275 19452874752 324135 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 66933276 19452874752 324135 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1296540 KiB

[startup+3.10543 s]
/proc/loadavg: 4.44 4.23 4.19 6/308 73510
/proc/meminfo: memFree=119664920/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=1487008 CPUtime=5.69 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 22626 0 0 0 530 39 0 0 20 0 20 0 66933269 19521036288 371752 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 371752 5526 1 0 1082076 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=11264 CPUtime=2.66 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 6367 0 0 0 235 31 0 0 20 0 20 0 66933271 19521036288 371752 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=-6000919507032762728 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 371752 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 66933276 19521036288 371752 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 371752 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487008 KiB

[startup+6.3004 s]
/proc/loadavg: 4.44 4.23 4.19 6/328 73560
/proc/meminfo: memFree=115825048/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=3388324 CPUtime=10.07 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 23922 0 0 0 933 74 0 0 20 0 20 0 66933269 19521036288 847081 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 847081 5526 1 0 1082162 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=0 CPUtime=5.84 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 7508 0 0 0 517 67 0 0 20 0 20 0 66933271 19521036288 847081 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 847081 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 66933276 19521036288 847081 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=1305560 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 847081 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 10.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3388324 KiB

[startup+12.7004 s]
/proc/loadavg: 4.52 4.26 4.20 5/328 73560
/proc/meminfo: memFree=114020908/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=3391908 CPUtime=17.88 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 24965 0 0 0 1713 75 0 0 20 0 20 0 66933269 19521036288 847977 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 847977 5558 1 0 1082179 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=11264 CPUtime=11.89 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 8136 0 0 0 1122 67 0 0 20 0 20 0 66933271 19521036288 847977 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=3391908 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 847977 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 66933276 19521036288 847977 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=3391908 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 847977 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 17.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3391908 KiB

[startup+25.5005 s]
/proc/loadavg: 4.44 4.25 4.20 5/327 73561
/proc/meminfo: memFree=113376300/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=3979192 CPUtime=30.93 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 31463 0 0 0 3003 90 0 0 20 0 20 0 66933269 19521036288 994798 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 994798 5558 1 0 1230489 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=0 CPUtime=24.17 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 10221 0 0 0 2337 80 0 0 20 0 20 0 66933271 19521036288 994798 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 994798 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=3975028 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 66933276 19521036288 994798 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=3975028 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 994798 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 30.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3979192 KiB

[startup+51.1137 s]
/proc/loadavg: 4.36 4.24 4.19 5/329 73563
/proc/meminfo: memFree=110886536/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=3991936 CPUtime=57.77 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 40978 0 0 0 5681 96 0 0 20 0 20 0 66933269 19521036288 997984 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 997984 5558 1 0 1230529 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=18560 CPUtime=49.18 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 13717 0 0 0 4835 83 0 0 20 0 20 0 66933271 19521036288 997984 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 997984 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=164 CPUtime=0 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 66933276 19521036288 997984 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 997984 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0

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

[startup+3282.3 s]
/proc/loadavg: 4.27 4.24 4.26 5/330 73806
/proc/meminfo: memFree=101675824/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3289.12 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 173288 0 0 0 328464 448 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=5276 CPUtime=3163.51 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 87252 0 0 0 316132 219 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=4873288 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=14720 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2195 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3289.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.21 4.25 5/330 73808
/proc/meminfo: memFree=101625160/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3349.39 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 175335 0 0 0 334486 453 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3222.11 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 89212 0 0 0 321991 220 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=11264 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2195 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3349.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.24 5/329 73813
/proc/meminfo: memFree=101612928/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3409.84 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 178054 0 0 0 340528 456 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3280.97 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 91104 0 0 0 327875 222 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=7595996332944813670 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=14720 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2281 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=4873288 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3409.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.24 5/328 73815
/proc/meminfo: memFree=101589868/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3470.17 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 179751 0 0 0 346555 462 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=7595996332944813670 CPUtime=3339.85 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 91894 0 0 0 333762 223 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=4873288 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2337 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3470.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.23 5/329 73817
/proc/meminfo: memFree=101577120/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3530.42 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 180388 0 0 0 352576 466 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=6912 CPUtime=3398.73 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 92488 0 0 0 339649 224 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=18560 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=5632 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2341 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=4873288 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3530.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB

[startup+3582.3 s]
/proc/loadavg: 3.76 4.10 4.20 3/279 73891
/proc/meminfo: memFree=114971792/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3590.61 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 183162 0 0 0 358590 471 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3457.54 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 94454 0 0 0 345529 225 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=4873288 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2341 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3590.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.7 s]
/proc/loadavg: 3.62 4.07 4.19 3/280 73893
/proc/meminfo: memFree=114971288/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3600.08 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 183476 0 0 0 359536 472 0 0 20 0 20 0 66933269 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4765878 1218322 5590 1 0 1232376 0
[pid=73473/tid=73475] ppid=73470 vsize=19063512 memory=4873288 CPUtime=3466.76 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) R 73470 73473 72521 0 -1 4194368 94759 0 0 0 346451 225 0 0 20 0 20 0 66933271 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66933275 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19063512 memory=5632 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2341 0 0 0 1 0 0 0 20 0 20 0 66933276 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73493] ppid=73470 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/73473/task/73493/stat : 73493 (Timer-0) S 73470 73473 72521 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66933439 19521036288 1218322 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4873288 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.59 s, system=4.76487 s

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

[startup+3591.81 s]
/proc/loadavg: 3.62 4.07 4.19 3/280 73893
/proc/meminfo: memFree=114971288/131382112 swapFree=33009904/33010684
[pid=73473] ppid=73470 vsize=19263204 memory=4874056 CPUtime=3600.27 cores=4,6
/proc/73473/stat : 73473 (java) S 73470 73473 72521 0 -1 4194304 186189 0 0 0 359554 473 0 0 20 0 21 0 66933269 19725520896 1218514 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
/proc/73473/statm: 4815801 1218514 5590 1 0 1233311 0
[pid=73473/tid=73475] ppid=73470 vsize=19263204 memory=23532 CPUtime=3466.79 cores=4,6
/proc/73473/task/73475/stat : 73475 (java) S 73470 73473 72521 0 -1 4194368 95078 0 0 0 346454 225 0 0 20 0 21 0 66933271 19725520896 1218514 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73484] ppid=73470 vsize=19263204 memory=4352 CPUtime=0 cores=4,6
/proc/73473/task/73484/stat : 73484 (Finalizer) S 73470 73473 72521 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 66933275 19725520896 1218514 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
[pid=73473/tid=73491] ppid=73470 vsize=19263204 memory=1792 CPUtime=0.01 cores=4,6
/proc/73473/task/73491/stat : 73491 (Common-Cleaner) S 73470 73473 72521 0 -1 4194368 2341 0 0 0 1 0 0 0 20 0 21 0 66933276 19725520896 1218514 18446744073709551615 93928678207488 93928678211184 140724759868480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93928678219000 93928678219792 93928689160192 140724759873837 140724759874022 140724759874022 140724759879624 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4874056 KiB

Child status: 143

Real time (s): 3591.89
CPU time (s): 3600.36
CPU user time (s): 3595.59
CPU system time (s): 4.76487
CPU usage (%): 100.236
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4874056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.59
system time used= 4.76487
maximum resident set size= 4874184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186295
page faults= 0
swaps= 0
block input operations= 0
block output operations= 853000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142331
involuntary context switches= 24062


# summary of solver processes directly reported to runsolver:
#   pid: 73473
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3595.59
#   total CPU system time (s): 4.76487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4915 second user time and 33.2763 second system time

The end

Begin job on nodeC001 at 2025-07-03 05:15:44
IDJOB=4508051
IDBENCH=158392
IDSOLVER=3362
FILE ID=nodeC001/4508051-1751512544
RUNJOBID= nodeC001-1751505361-72532
SLURM_JOB_ID= 9598597
Free space on /tmp= 432424 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508051-1751512544/watcher-4508051-1751512544 -o /tmp/evaluation-result-4508051-1751512544/solver-4508051-1751512544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751505361-72532 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4508051-1751512544 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4508051-1751512544.opb

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

MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=1733002331

nodeC001 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	: 0xb00001f
cpu MHz		: 3661.933
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 pti 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	: 6983.49
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		: 3491.743
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 pti 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	: 6983.49
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.266
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 pti 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	: 6983.49
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		: 3491.748
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 pti 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	: 6983.49
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		: 1197.497
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 pti 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	: 6983.49
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		: 3509.404
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 pti 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	: 6983.49
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.169
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 pti 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	: 6983.49
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.574
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 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        118142696 kB
MemAvailable:   119330512 kB
Buffers:            1668 kB
Cached:          1982904 kB
SwapCached:           32 kB
Active:         10969928 kB
Inactive:        1673592 kB
Active(anon):   10654320 kB
Inactive(anon):    22528 kB
Active(file):     315608 kB
Inactive(file):  1651064 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4100 kB
Writeback:             0 kB
AnonPages:      10662072 kB
Mapped:           123612 kB
Shmem:             17900 kB
KReclaimable:     121156 kB
Slab:             205952 kB
SReclaimable:     121156 kB
SUnreclaim:        84796 kB
KernelStack:        4992 kB
PageTables:        24560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12832200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10412032 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432504 MiB
End job on nodeC001 at 2025-07-03 06:15:36

Name	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb
MD5SUM	4f8efbeb69f885a3b6f9ae87862f80cd
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	79
Best CPU time to get the best result obtained on this benchmark	2.33826
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	9632
Total number of constraints	29620
Number of constraints which are clauses	27556
Number of constraints which are cardinality constraints (but not clauses)	244
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	2
Maximum length of a constraint	248
Number of terms in the objective function	26
Biggest coefficient in the objective function	20
Number of bits for the biggest coefficient in the objective function	5
Sum of the numbers in the objective function	211
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	160
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	687
Number of bits of the biggest sum of numbers	10
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 4508051

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data