runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62862 MiB free)
memory of node 1: 64510 MiB (62873 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444033-1721314230/watcher-4444033-1721314230 -o /tmp/evaluation-result-4444033-1721314230/solver-4444033-1721314230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721306911-947180 --watchdog 3760 ./ParLS-PBO --benchName=HOME/instance-4444033-1721314230.opb --time_limit=3600 --nbcore=1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=952854, runsolver pid=952851
[startup+0.100466 s]*
/proc/loadavg: 4.31 4.28 4.28 5/244 952855
/proc/meminfo: memFree=128749548/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=29504 memory=8588 CPUtime=0.1 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) R 952851 952854 947170 0 -1 4194304 1342 0 0 0 10 0 0 0 20 0 1 0 183579410 30212096 2147 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 7376 2147 938 32 0 2114 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29504 KiB
Current children cumulated memory: 8588 KiB
[startup+0.212786 s]*
/proc/loadavg: 4.31 4.28 4.28 5/244 952855
/proc/meminfo: memFree=128738292/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=39140 memory=19676 CPUtime=0.21 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) R 952851 952854 947170 0 -1 4194304 4169 0 0 0 20 1 0 0 20 0 1 0 183579410 40079360 4919 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 9785 4919 938 32 0 4523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39140 KiB
Current children cumulated memory: 19676 KiB
[startup+0.313469 s]*
/proc/loadavg: 4.31 4.28 4.28 5/245 952856
/proc/meminfo: memFree=128701372/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=153876 memory=53244 CPUtime=0.3 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 11326 0 0 0 27 3 0 0 20 0 2 0 183579410 157569024 13311 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 38469 13311 938 32 0 16855 0
[pid=952854/tid=952856] ppid=952851 vsize=153876 memory=-6098642910989221313 CPUtime=0 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 2 0 183579440 157569024 13311 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153876 KiB
Current children cumulated memory: 53244 KiB
[startup+0.700346 s]
/proc/loadavg: 4.31 4.28 4.28 5/245 952856
/proc/meminfo: memFree=128677928/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78636 CPUtime=0.66 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 16141 0 0 0 61 5 0 0 20 0 2 0 183579410 160301056 19659 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19659 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=2648 CPUtime=0.36 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 6410 0 0 0 34 2 0 0 20 0 2 0 183579440 160301056 19659 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78636 KiB
[startup+1.50034 s]
/proc/loadavg: 4.31 4.28 4.28 5/247 952860
/proc/meminfo: memFree=128677632/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=1.47 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 21270 0 0 0 141 6 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=2648 CPUtime=1.16 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 11535 0 0 0 113 3 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+3.11289 s]
/proc/loadavg: 4.28 4.27 4.28 5/247 952862
/proc/meminfo: memFree=128677408/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=3.08 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 21994 0 0 0 302 6 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=140234977182545 CPUtime=2.77 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 12257 0 0 0 274 3 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+6.30036 s]
/proc/loadavg: 4.28 4.27 4.28 5/247 952862
/proc/meminfo: memFree=128677356/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=6.28 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 33454 0 0 0 621 7 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=140234977182545 CPUtime=5.94 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 23706 0 0 0 591 3 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+12.7003 s]
/proc/loadavg: 4.26 4.27 4.28 6/247 952862
/proc/meminfo: memFree=128677356/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=12.7 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 39567 0 0 0 1259 11 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=4420 CPUtime=12.32 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 29813 0 0 0 1228 4 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+25.5004 s]
/proc/loadavg: 4.27 4.27 4.28 5/244 952926
/proc/meminfo: memFree=128689048/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=25.56 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 51279 0 0 0 2539 17 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=78680 CPUtime=25.07 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 41515 0 0 0 2502 5 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 25.56 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+39.2002 s]
# the end of solver process 952854 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=39.076 s, system=0.250321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.27 4.27 4.28 5/244 952926
/proc/meminfo: memFree=128689048/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=25.66 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 51279 0 0 0 2549 17 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=43480 CPUtime=25.17 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 41515 0 0 0 2512 5 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 25.66 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+32.0003 s]*
/proc/loadavg: 4.25 4.27 4.28 5/247 952959
/proc/meminfo: memFree=128727744/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=32.1 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) R 952851 952854 947170 0 -1 1077936128 57135 0 0 0 3190 20 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=-6098642898104253889 CPUtime=31.56 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 47365 0 0 0 3151 5 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 32.1 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+35.2003 s]
/proc/loadavg: 4.23 4.26 4.28 5/247 952960
/proc/meminfo: memFree=128727668/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=35.3 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 62494 0 0 0 3508 22 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=78680 CPUtime=34.74 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 52718 0 0 0 3468 6 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 35.3 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+36.8003 s]
/proc/loadavg: 4.23 4.26 4.28 5/247 952960
/proc/meminfo: memFree=128727688/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=36.91 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 62987 0 0 0 3668 23 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=-8610249799147284834 CPUtime=36.33 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 53211 0 0 0 3627 6 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 36.91 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+38.4003 s]
/proc/loadavg: 4.37 4.29 4.28 5/247 952960
/proc/meminfo: memFree=128727660/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=38.52 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 62991 0 0 0 3828 24 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=78680 CPUtime=37.93 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 53215 0 0 0 3787 6 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 38.52 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+38.8003 s]
/proc/loadavg: 4.37 4.29 4.28 5/247 952960
/proc/meminfo: memFree=128727660/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=38.92 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 62991 0 0 0 3868 24 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=78680 CPUtime=38.32 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 53215 0 0 0 3826 6 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 38.92 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+39.0003 s]*
/proc/loadavg: 4.37 4.29 4.28 5/247 952960
/proc/meminfo: memFree=128727652/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=39.13 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) R 952851 952854 947170 0 -1 1077936128 62991 0 0 0 3889 24 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=-8538192192224389474 CPUtime=38.54 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 53215 0 0 0 3848 6 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 39.13 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
[startup+39.1136 s]
/proc/loadavg: 4.37 4.29 4.28 5/247 952960
/proc/meminfo: memFree=128727652/131655788 swapFree=131071996/131071996
[pid=952854] ppid=952851 vsize=156544 memory=78680 CPUtime=39.23 cores=0,2
/proc/952854/stat : 952854 (ParLS-PBO) S 952851 952854 947170 0 -1 1077936128 62991 0 0 0 3899 24 0 0 20 0 2 0 183579410 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
/proc/952854/statm: 39136 19670 938 32 0 22306 0
[pid=952854/tid=952856] ppid=952851 vsize=156544 memory=78680 CPUtime=38.64 cores=0,2
/proc/952854/task/952856/stat : 952856 (ParLS-PBO) R 952851 952854 947170 0 -1 4194368 53215 0 0 0 3858 6 0 0 20 0 2 0 183579440 160301056 19670 134679101440 4194304 4322517 140720347723088 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 36163584 140720347726860 140720347726980 140720347726980 140720347733996 0
Current children cumulated CPU time: 39.23 s
Current children cumulated vsize: 156544 KiB
Current children cumulated memory: 78680 KiB
Child status: 0
Real time (s): 39.2003
CPU time (s): 39.3263
CPU user time (s): 39.076
CPU system time (s): 0.250321
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 156544
Max. memory (cumulated for all children) (KiB): 78680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.076
system time used= 0.250321
maximum resident set size= 79020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35479
involuntary context switches= 283
# summary of solver processes directly reported to runsolver:
# pid: 952854
# total CPU time (s): 39.3263
# total CPU user time (s): 39.076
# total CPU system time (s): 0.250321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.242965 second user time and 0.409419 second system time
The end
Begin job on nodeC008 at 2024-07-18 16:50:42
IDJOB=4444033
IDBENCH=147894
IDSOLVER=3054
FILE ID=nodeC008/4444033-1721314230
RUNJOBID= nodeC008-1721306911-947180
SLURM_JOB_ID= 7542646
Free space on /tmp= 723740 MiB
SOLVER NAME= ParLS-PBO-1.1 2024-07-09
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= ./ParLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT --nbcore=1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444033-1721314230/watcher-4444033-1721314230 -o /tmp/evaluation-result-4444033-1721314230/solver-4444033-1721314230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721306911-947180 --watchdog 3760 ./ParLS-PBO --benchName=HOME/instance-4444033-1721314230.opb --time_limit=3600 --nbcore=1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=1206748355
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3641.604
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 3620.552
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.258
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.331
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3641.397
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.958
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.390
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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.358
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128753944 kB
MemAvailable: 129622620 kB
Buffers: 515464 kB
Cached: 1191380 kB
SwapCached: 0 kB
Active: 1034488 kB
Inactive: 1323276 kB
Active(anon): 1484 kB
Inactive(anon): 687124 kB
Active(file): 1033004 kB
Inactive(file): 636152 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8996 kB
Writeback: 4 kB
AnonPages: 650640 kB
Mapped: 106348 kB
Shmem: 37704 kB
KReclaimable: 79104 kB
Slab: 178492 kB
SReclaimable: 79104 kB
SUnreclaim: 99388 kB
KernelStack: 3920 kB
PageTables: 10832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 972196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57536 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC008 at 2024-07-18 16:51:21