19787.42/2520.01 c
19787.42/2520.01 c This is cosoco 2.00 --
19787.42/2520.01 c
19787.42/2520.01 c command line: cosoco -model -nbcores=8 HOME/instance-4398120-1568603635.xml
19787.42/2520.01 c ========================================[ Problem Statistics ]===========================================
19787.42/2520.01 c |
19787.42/2520.01 c | Parse time : 42.98 s
19787.42/2520.01 c |
19787.42/2520.01 c | Variables: 802
19787.42/2520.01 c | Domain Sizes: 160001..160001
19787.42/2520.01 c |
19787.42/2520.01 c | Constraints: 81001
19787.42/2520.01 c | Arity: 2..2 -- Binary: 81001
19787.42/2520.01 c |
19787.42/2520.01 c | Types:
19787.42/2520.01 c | (X -Y <= k): 81001
19787.42/2520.01 c |
19787.42/2520.01 c =========================================================================================================
19787.42/2520.01 c Parallel mode: Portfolio
19787.42/2520.01 c [pFactory][Group N°0] created (threads:8).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
19787.42/2520.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
19787.42/2520.01 c [pFactory][Group N°0] concurrent mode: enabled.
19787.42/2520.01 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
19787.42/2520.01 c [pFactory][Group N°0] task 7 launched on thread 0.
19787.42/2520.01 c [pFactory][Group N°0] task 6 launched on thread 1.
19787.42/2520.01 c [pFactory][Group N°0] task 5 launched on thread 2.
19787.42/2520.01 c [pFactory][Group N°0] task 4 launched on thread 6.
19787.42/2520.01 c [pFactory][Group N°0] task 3 launched on thread 7.
19787.42/2520.01 c [pFactory][Group N°0] task 2 launched on thread 4.
19787.42/2520.01 c [pFactory][Group N°0] task 1 launched on thread 3.
19787.42/2520.01 c [pFactory][Group N°0] task 0 launched on thread 5.
19787.42/2520.01
19787.42/2520.01 c *** INTERRUPTED ***
19787.42/2520.01 c restarts : 0
19787.42/2520.01 c conflicts : 0 (0 /sec)
19787.42/2520.01 c decisions : 0 (0 /sec)
19787.42/2520.01 c propagations : 1243689 (63 /sec)
19787.42/2520.01 c root propagations : 0
19787.42/2520.01 c filter calls : 2235799 (113 /sec)
19787.42/2520.01 c useless filter calls : 994609 (44 %)
19787.42/2520.01 c Memory used : 11761.52 MB
19787.42/2520.01 c CPU time : 19742.7 s
19787.42/2520.01 c real time : 2520.01 s
19787.42/2520.01
19787.42/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (15328 MiB free)
memory of node 1: 16384 MiB (15662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398120-1568603635/watcher-4398120-1568603635 -o /tmp/evaluation-result-4398120-1568603635/solver-4398120-1568603635 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568595988-23581 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398120-1568603635.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25203, runsolver pid=25200
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 1.28 1.08 1.50 2/196 25204
/proc/meminfo: memFree=31578712/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=196292 memory=172120 CPUtime=0.1 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 43230 0 0 0 5 5 0 0 20 0 1 0 436616560 201003008 43030 33554432000 4194304 6211092 140722832835664 140722832831608 5231237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 49073 43030 751 493 0 42378 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 196292 KiB
Current children cumulated memory: 172120 KiB
[startup+0.209103 s]*
/proc/loadavg: 1.28 1.08 1.50 2/196 25204
/proc/meminfo: memFree=31399700/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=375272 memory=351376 CPUtime=0.2 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 88014 0 0 0 10 10 0 0 20 0 1 0 436616560 384278528 87844 33554432000 4194304 6211092 140722832835664 140722832831608 5231317 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 93818 87844 751 493 0 87123 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 375272 KiB
Current children cumulated memory: 351376 KiB
[startup+0.308721 s]*
/proc/loadavg: 1.28 1.08 1.50 2/196 25204
/proc/meminfo: memFree=31234800/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=540436 memory=516112 CPUtime=0.3 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 129225 0 0 0 16 14 0 0 20 0 1 0 436616560 553406464 129028 33554432000 4194304 6211092 140722832835664 140722832831608 5231237 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 135109 129028 751 493 0 128414 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 540436 KiB
Current children cumulated memory: 516112 KiB
[startup+0.700285 s]
/proc/loadavg: 1.28 1.08 1.50 2/196 25204
/proc/meminfo: memFree=30900372/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=1182516 memory=1158160 CPUtime=0.69 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 289704 0 0 0 35 34 0 0 20 0 1 0 436616560 1210896384 289540 33554432000 4194304 6211092 140722832835664 140722832831608 5231237 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 295629 289540 751 493 0 288934 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1182516 KiB
Current children cumulated memory: 1158160 KiB
[startup+1.50028 s]
/proc/loadavg: 1.28 1.08 1.50 2/196 25204
/proc/meminfo: memFree=30071996/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=2535492 memory=2511688 CPUtime=1.49 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 628060 0 0 0 73 76 0 0 20 0 1 0 436616560 2596343808 627856 33554432000 4194304 6211092 140722832835664 140722832831608 5231237 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 634030 627856 751 493 0 627335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2535492 KiB
Current children cumulated memory: 2511688 KiB
[startup+3.10866 s]
/proc/loadavg: 1.26 1.08 1.50 2/196 25204
/proc/meminfo: memFree=26683916/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=5252384 memory=5228020 CPUtime=3.1 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 1307358 0 0 0 153 157 0 0 20 0 1 0 436616560 5378441216 1307005 33554432000 4194304 6211092 140722832835664 140722832831608 5231317 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 1313096 1307005 751 493 0 1306401 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 5252384 KiB
Current children cumulated memory: 5228020 KiB
[startup+6.30032 s]
/proc/loadavg: 1.26 1.08 1.50 2/196 25204
/proc/meminfo: memFree=23616844/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=8135100 memory=8109728 CPUtime=6.29 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 2029257 0 0 0 385 244 0 0 20 0 1 0 436616560 8330342400 2027432 33554432000 4194304 6211092 140722832835664 140722832832168 139794258103269 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 2033775 2027432 822 493 0 2027080 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 8135100 KiB
Current children cumulated memory: 8109728 KiB
[startup+12.7003 s]
/proc/loadavg: 1.16 1.06 1.49 2/196 25204
/proc/meminfo: memFree=23142824/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=8663944 memory=8638732 CPUtime=12.68 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 2162403 0 0 0 1003 265 0 0 20 0 1 0 436616560 8871878656 2159617 33554432000 4194304 6211092 140722832835664 140722832830184 139794258103269 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 2165986 2159617 822 493 0 2159291 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 8663944 KiB
Current children cumulated memory: 8638732 KiB
[startup+25.5003 s]
/proc/loadavg: 1.12 1.06 1.48 2/196 25204
/proc/meminfo: memFree=22064968/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=9725024 memory=9699128 CPUtime=25.49 cores=0-7
/proc/25203/stat : 25203 (cosoco) R 25200 25203 23554 0 -1 4202496 2429992 0 0 0 2242 307 0 0 20 0 1 0 436616560 9958424576 2424782 33554432000 4194304 6211092 140722832835664 140722832830184 139794258099006 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 2431256 2424782 822 493 0 2424561 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 9725024 KiB
Current children cumulated memory: 9699128 KiB
[startup+51.1106 s]
/proc/loadavg: 1.16 1.07 1.48 9/204 25215
/proc/meminfo: memFree=20285992/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11430900 CPUtime=79.55 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 5026114 0 0 0 7061 894 0 0 20 0 9 0 436616560 12332847104 2857725 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2857725 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=8646888 CPUtime=4.07 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 168729 0 0 0 301 106 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139786000387256 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=776 CPUtime=4.07 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 191092 0 0 0 397 10 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785991994552 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=11430900 CPUtime=4.06 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 165969 0 0 0 294 112 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785983601848 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=1388 CPUtime=4.06 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 190949 0 0 0 394 12 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785975209144 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=3028 CPUtime=4.06 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 191083 0 0 0 393 13 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785966816440 5392320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=2012 CPUtime=4.05 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 190926 0 0 0 393 12 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785958423736 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=1408 CPUtime=4.01 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 166039 0 0 0 288 113 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785950031032 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=2352 CPUtime=4.07 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 166848 0 0 0 298 109 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785941638328 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 79.55 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11430900 KiB
[startup+102.301 s]
/proc/loadavg: 5.03 2.14 1.82 9/204 25218
/proc/meminfo: memFree=20285684/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11430900 CPUtime=488.07 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 7624717 0 0 0 47701 1106 0 0 20 0 9 0 436616560 12332847104 2857725 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2857725 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=9707284 CPUtime=55.23 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 493079 0 0 0 5381 142 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139786000387256 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=11430900 CPUtime=55.22 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 526417 0 0 0 5489 33 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785991994552 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=11430900 CPUtime=54.86 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 483311 0 0 0 5343 143 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785983601848 5393072 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=11430900 CPUtime=55.23 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 508166 0 0 0 5492 31 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785975209144 5393063 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=2449 CPUtime=55.22 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 526878 0 0 0 5490 32 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785966816440 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=11430900 CPUtime=55.22 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 517798 0 0 0 5493 29 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785958423736 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=3504 CPUtime=55.05 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 485984 0 0 0 5357 148 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785950031032 5397368 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=45948 CPUtime=54.96 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 488606 0 0 0 5354 142 0 0 20 0 9 0 436621263 12332847104 2857725 33554432000 4194304 6211092 140722832835664 139785941638328 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 488.07 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11430900 KiB
[startup+162.301 s]
/proc/loadavg: 6.91 3.20 2.20 9/203 25221
/proc/meminfo: memFree=20285376/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11435276 CPUtime=966.99 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 9683090 0 0 0 95378 1321 0 0 20 0 9 0 436616560 12332847104 2858819 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2858819 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=11435276 CPUtime=114.77 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 744316 0 0 0 11293 184 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139786000386920 5172256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=3504 CPUtime=115.2 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 797139 0 0 0 11470 50 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785991994312 5392320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=11435044 CPUtime=114.75 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 723804 0 0 0 11298 177 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785983601608 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=11434332 CPUtime=115.21 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 767009 0 0 0 11477 44 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785975208904 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=11433460 CPUtime=115.18 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 797879 0 0 0 11471 47 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785966816200 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=11434460 CPUtime=115.2 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 782051 0 0 0 11478 42 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785958423496 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=11434580 CPUtime=114.69 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 745401 0 0 0 11275 194 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785950030792 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=11435256 CPUtime=114.92 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 731012 0 0 0 11313 179 0 0 20 0 9 0 436621263 12332847104 2858819 33554432000 4194304 6211092 140722832835664 139785941638088 5172220 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 966.99 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11435276 KiB
[startup+222.301 s]
/proc/loadavg: 7.70 4.11 2.58 9/203 25226
################
# More data... #
################
[startup+2322.3 s]
/proc/loadavg: 8.52 8.27 7.67 9/201 25387
/proc/meminfo: memFree=19929120/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11790692 CPUtime=18209.1 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 46743043 0 0 0 1816621 4291 0 0 20 0 9 0 436616560 12332847104 2947673 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2947673 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=6935054825532540783 CPUtime=2269.23 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 5377964 0 0 0 226382 541 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139786000386952 5172464 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=11790532 CPUtime=2271.03 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 5430153 0 0 0 226605 498 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785991994312 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=11790408 CPUtime=2271.45 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 5354009 0 0 0 226607 538 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785983601512 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=11788416 CPUtime=2270.34 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 5400362 0 0 0 226470 564 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785975208904 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=11789100 CPUtime=2274.13 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 5430081 0 0 0 227117 296 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785966816136 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=11789508 CPUtime=2269.28 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 5415898 0 0 0 226516 412 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785958423432 5193733 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=11786004 CPUtime=2262.59 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 5376518 0 0 0 225751 508 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785950030792 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=11790692 CPUtime=2273.97 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 5363579 0 0 0 226869 528 0 0 20 0 9 0 436621263 12332847104 2947673 33554432000 4194304 6211092 140722832835664 139785941638024 5393072 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 18209.1 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11790692 KiB
[startup+2382.3 s]
/proc/loadavg: 8.57 8.34 7.73 9/201 25392
/proc/meminfo: memFree=19920336/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11801548 CPUtime=18688.1 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 47764099 0 0 0 1864461 4351 0 0 20 0 9 0 436616560 12332847104 2950387 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2950387 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=0 CPUtime=2329.23 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 5505556 0 0 0 232374 549 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139786000387016 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=11799236 CPUtime=2331.01 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 5558076 0 0 0 232597 504 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785991994216 5172161 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=231641 CPUtime=2331.42 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 5481539 0 0 0 232597 545 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785983601608 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=11799064 CPUtime=2329.52 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 5527905 0 0 0 232380 572 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785975208904 5172437 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=11800420 CPUtime=2334.09 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 5557660 0 0 0 233107 302 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785966816200 5393063 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=0 CPUtime=2329.26 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 5543423 0 0 0 232503 423 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785958423432 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=11801548 CPUtime=2322.53 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 5504360 0 0 0 231737 516 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785950030792 5393063 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=3504 CPUtime=2333.96 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 5491101 0 0 0 232861 535 0 0 20 0 9 0 436621263 12332847104 2950387 33554432000 4194304 6211092 140722832835664 139785941638088 5172232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 18688.1 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11801548 KiB
[startup+2442.3 s]
/proc/loadavg: 8.21 8.28 7.75 9/201 25395
/proc/meminfo: memFree=19908160/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11812568 CPUtime=19167.1 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 48784290 0 0 0 1912296 4413 0 0 20 0 9 0 436616560 12332847104 2953142 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2953142 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=11812520 CPUtime=2389.21 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 5632928 0 0 0 238364 557 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139786000387016 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=11812568 CPUtime=2390.99 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 5685529 0 0 0 238587 512 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785991994216 5393072 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=11811772 CPUtime=2391.39 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 5609237 0 0 0 238587 552 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785983601512 5393072 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=11812284 CPUtime=2388.88 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 5655395 0 0 0 238307 581 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785975208904 5172437 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=11812520 CPUtime=2394.08 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 5685257 0 0 0 239098 310 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785966816200 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=11812284 CPUtime=2389.02 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 5670962 0 0 0 238471 431 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785958423496 5392320 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=11812008 CPUtime=2382.51 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 5631874 0 0 0 237727 524 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785950030696 5392352 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=11811348 CPUtime=2393.94 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 5618629 0 0 0 238852 542 0 0 20 0 9 0 436621263 12332847104 2953142 33554432000 4194304 6211092 140722832835664 139785941638088 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 19167.1 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11812568 KiB
[startup+2502.3 s]
/proc/loadavg: 8.08 8.23 7.77 9/201 25398
/proc/meminfo: memFree=19898236/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11823096 CPUtime=19646.1 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 49792165 0 0 0 1960135 4470 0 0 20 0 9 0 436616560 12332847104 2955774 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2955774 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=11821656 CPUtime=2449.1 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 5758696 0 0 0 244345 565 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139786000386952 5393040 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=3504 CPUtime=2450.97 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 5811544 0 0 0 244580 517 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785991994312 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=12024 CPUtime=2451.38 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 5735238 0 0 0 244580 558 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785983601448 5393040 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=11822236 CPUtime=2448.03 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 5781408 0 0 0 244216 587 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785975208904 5393040 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=11822108 CPUtime=2454.06 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 5811236 0 0 0 245089 317 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785966816136 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=11823032 CPUtime=2448.99 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 5797061 0 0 0 244460 439 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785958423496 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=11822284 CPUtime=2442.49 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 5757834 0 0 0 243717 532 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785950030792 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=11822404 CPUtime=2453.93 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 5744669 0 0 0 244845 548 0 0 20 0 9 0 436621263 12332847104 2955774 33554432000 4194304 6211092 140722832835664 139785941638088 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 19646 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11823096 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.05 8.21 7.77 9/201 25401
/proc/meminfo: memFree=19895328/32770624 swapFree=66997340/67108860
[pid=25203] ppid=25200 vsize=12043796 memory=11826232 CPUtime=19787.4 cores=0-7
/proc/25203/stat : 25203 (cosoco) S 25200 25203 23554 0 -1 1077944320 49799556 0 0 0 1974268 4474 0 0 20 0 9 0 436616560 12332847104 2956558 33554432000 4194304 6211092 140722832835664 140722832833920 139794274143991 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
/proc/25203/statm: 3010949 2956558 860 493 0 3004254 0
[pid=25203/tid=25208] ppid=25200 vsize=12043796 memory=8317482817917895235 CPUtime=2466.54 cores=0-7
/proc/25203/task/25208/stat : 25208 (cosoco) R 25200 25203 23554 0 -1 4202560 5759516 0 0 0 246088 566 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139786000387016 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25209] ppid=25200 vsize=12043796 memory=796 CPUtime=2468.69 cores=0-7
/proc/25203/task/25209/stat : 25209 (cosoco) R 25200 25203 23554 0 -1 4202560 5811713 0 0 0 246351 518 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785991994248 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25210] ppid=25200 vsize=12043796 memory=1768 CPUtime=2469.08 cores=0-7
/proc/25203/task/25210/stat : 25210 (cosoco) R 25200 25203 23554 0 -1 4202560 5738079 0 0 0 246350 558 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785983601544 5172229 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25211] ppid=25200 vsize=12043796 memory=916 CPUtime=2465.75 cores=0-7
/proc/25203/task/25211/stat : 25211 (cosoco) R 25200 25203 23554 0 -1 4202560 5781569 0 0 0 245986 589 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785975208904 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25212] ppid=25200 vsize=12043796 memory=4200 CPUtime=2471.77 cores=0-7
/proc/25203/task/25212/stat : 25212 (cosoco) R 25200 25203 23554 0 -1 4202560 5811381 0 0 0 246859 318 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785966816136 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25213] ppid=25200 vsize=12043796 memory=4096 CPUtime=2466.69 cores=0-7
/proc/25203/task/25213/stat : 25213 (cosoco) R 25200 25203 23554 0 -1 4202560 5797228 0 0 0 246229 440 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785958423496 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25214] ppid=25200 vsize=12043796 memory=1408 CPUtime=2460.19 cores=0-7
/proc/25203/task/25214/stat : 25214 (cosoco) R 25200 25203 23554 0 -1 4202560 5758065 0 0 0 245487 532 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785950030728 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
[pid=25203/tid=25215] ppid=25200 vsize=12043796 memory=2912 CPUtime=2471.64 cores=0-7
/proc/25203/task/25215/stat : 25215 (cosoco) R 25200 25203 23554 0 -1 4202560 5747526 0 0 0 246615 549 0 0 20 0 9 0 436621263 12332847104 2956558 33554432000 4194304 6211092 140722832835664 139785941638088 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19501056 140722832843793 140722832843885 140722832843885 140722832846798 0
Current children cumulated CPU time: 19787.4 s
Current children cumulated vsize: 12043796 KiB
Current children cumulated memory: 11826232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.61 s]
# the end of solver process 25203 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19742.7 s, system=45.3305 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.4 s]
/proc/loadavg: 8.05 8.21 7.77 2/194 25401
/proc/meminfo: memFree=24721552/32770624 swapFree=66997340/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2520.6 s]
/proc/loadavg: 8.05 8.21 7.77 2/194 25401
/proc/meminfo: memFree=24721552/32770624 swapFree=66997340/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.61
CPU time (s): 19788.1
CPU user time (s): 19742.7
CPU system time (s): 45.3305
CPU usage (%): 785.052
Max. virtual memory (cumulated for all children) (KiB): 12043796
Max. memory (cumulated for all children) (KiB): 11826232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19742.7
system time used= 45.3305
maximum resident set size= 11826724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49800436
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= 7580
involuntary context switches= 167341
# summary of solver processes directly reported to runsolver:
# pid: 25203
# total CPU time (s): 19788.1
# total CPU user time (s): 19742.7
# total CPU system time (s): 45.3305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1545 second user time and 22.3913 second system time
The end
Begin job on node103 at 2019-09-16 05:12:56
IDJOB=4398120
IDBENCH=126849
IDSOLVER=2851
FILE ID=node103/4398120-1568603635
RUNJOBID= node103-1568595988-23581
PBS_JOBID= 21703397
Free space on /tmp= 61716 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0400.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398120-1568603635/watcher-4398120-1568603635 -o /tmp/evaluation-result-4398120-1568603635/solver-4398120-1568603635 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568595988-23581 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398120-1568603635.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= cd36f5a432e3b868ff7ac280438203b6
RANDOM SEED=1832770107
node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31734816 kB
MemAvailable: 31883232 kB
Buffers: 28192 kB
Cached: 416300 kB
SwapCached: 8840 kB
Active: 336704 kB
Inactive: 120212 kB
Active(anon): 1952 kB
Inactive(anon): 59304 kB
Active(file): 334752 kB
Inactive(file): 60908 kB
Unevictable: 111164 kB
Mlocked: 111164 kB
SwapTotal: 67108860 kB
SwapFree: 66997340 kB
Dirty: 6536 kB
Writeback: 0 kB
AnonPages: 119256 kB
Mapped: 46164 kB
Shmem: 40848 kB
Slab: 166520 kB
SReclaimable: 137180 kB
SUnreclaim: 29340 kB
KernelStack: 3792 kB
PageTables: 6028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61712 MiB
End job on node103 at 2019-09-16 05:54:57