runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1884089-1245254150/watcher-1884089-1245254150 -o /tmp/evaluation-result-1884089-1245254150/solver-1884089-1245254150 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1884089-1245254150.opb HOME HOME 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 21347
/proc/meminfo: memFree=1291104/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=18576 CPUtime=0
/proc/21347/stat : 21347 (runsolver) R 21345 21347 21304 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 193015973 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21347/statm: 4644 284 249 26 0 2626 0

[startup+0.069271 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 21347
/proc/meminfo: memFree=1291104/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+0.102058 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 21347
/proc/meminfo: memFree=1291104/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+0.301954 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 21347
/proc/meminfo: memFree=1291104/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+0.703021 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 21347
/proc/meminfo: memFree=1291104/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+1.50115 s]
/proc/loadavg: 0.00 0.00 0.00 2/68 21352
/proc/meminfo: memFree=1283008/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=8720 CPUtime=1.31
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 2097 0 0 0 131 0 0 0 18 0 1 0 193015978 8929280 1954 1992294400 134512640 136070948 4294956272 18446744073709551615 134834408 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 2180 1954 188 380 0 1797 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 27596

[startup+3.10143 s]
/proc/loadavg: 0.00 0.00 0.00 2/68 21352
/proc/meminfo: memFree=1282880/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=8720 CPUtime=2.91
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 2097 0 0 0 291 0 0 0 21 0 1 0 193015978 8929280 1954 1992294400 134512640 136070948 4294956272 18446744073709551615 134835496 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 2180 1954 188 380 0 1797 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 27596

[startup+6.303 s]
/proc/loadavg: 0.08 0.02 0.01 2/68 21352
/proc/meminfo: memFree=1282816/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=8720 CPUtime=6.1
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 2097 0 0 0 610 0 0 0 25 0 1 0 193015978 8929280 1954 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 2180 1954 188 380 0 1797 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 27596

[startup+12.7011 s]
/proc/loadavg: 0.15 0.03 0.01 2/68 21352
/proc/meminfo: memFree=1282112/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=9428 CPUtime=12.5
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 2267 0 0 0 1250 0 0 0 25 0 1 0 193015978 9654272 2124 1992294400 134512640 136070948 4294956272 18446744073709551615 134623010 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 2357 2124 188 380 0 1974 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28304

[startup+25.5024 s]
/proc/loadavg: 0.34 0.08 0.02 2/68 21352
/proc/meminfo: memFree=1281216/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=10628 CPUtime=25.29
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 2560 0 0 0 2528 1 0 0 25 0 1 0 193015978 10883072 2417 1992294400 134512640 136070948 4294956272 18446744073709551615 134841360 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 2657 2417 188 380 0 2274 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29504

[startup+51.1028 s]
/proc/loadavg: 0.56 0.15 0.05 2/68 21352
/proc/meminfo: memFree=1279552/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=12364 CPUtime=50.88
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 2987 0 0 0 5086 2 0 0 25 0 1 0 193015978 12660736 2844 1992294400 134512640 136070948 4294956272 18446744073709551615 134615239 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 3091 2844 188 380 0 2708 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31240

[startup+102.307 s]
/proc/loadavg: 0.81 0.28 0.10 2/68 21352
/proc/meminfo: memFree=1277632/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=14172 CPUtime=102.06
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 3422 0 0 0 10204 2 0 0 25 0 1 0 193015978 14512128 3279 1992294400 134512640 136070948 4294956272 18446744073709551615 134623010 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 3543 3279 188 380 0 3160 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 33048

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/68 21352
/proc/meminfo: memFree=1275392/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=16388 CPUtime=162.03
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 3967 0 0 0 16200 3 0 0 25 0 1 0 193015978 16781312 3824 1992294400 134512640 136070948 4294956272 18446744073709551615 134623281 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4097 3824 188 380 0 3714 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 35264

[startup+222.302 s]

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

/proc/21351/statm: 4464 4161 188 380 0 4081 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 36732

Solver just ended. Dumping a history of the last processes samples

[startup+230.301 s]
/proc/loadavg: 0.98 0.53 0.21 2/68 21352
/proc/meminfo: memFree=1273920/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=17996 CPUtime=229.99
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4351 0 0 0 22996 3 0 0 25 0 1 0 193015978 18427904 4208 1992294400 134512640 136070948 4294956272 18446744073709551615 134835527 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4499 4208 188 380 0 4116 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 230.19
Current children cumulated vsize (KiB) 36872

[startup+243.106 s]
/proc/loadavg: 0.98 0.54 0.22 2/68 21352
/proc/meminfo: memFree=1273792/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18164 CPUtime=242.79
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4377 0 0 0 24276 3 0 0 25 0 1 0 193015978 18599936 4234 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4541 4234 188 380 0 4158 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 242.99
Current children cumulated vsize (KiB) 37040

[startup+249.503 s]
/proc/loadavg: 0.98 0.56 0.22 2/68 21352
/proc/meminfo: memFree=1273792/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18164 CPUtime=249.19
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4378 0 0 0 24916 3 0 0 25 0 1 0 193015978 18599936 4235 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4541 4235 188 380 0 4158 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 249.39
Current children cumulated vsize (KiB) 37040

[startup+252.701 s]
/proc/loadavg: 0.98 0.56 0.22 2/68 21352
/proc/meminfo: memFree=1273728/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18164 CPUtime=252.38
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4383 0 0 0 25235 3 0 0 25 0 1 0 193015978 18599936 4240 1992294400 134512640 136070948 4294956272 18446744073709551615 134623327 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4541 4240 188 380 0 4158 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 252.58
Current children cumulated vsize (KiB) 37040

[startup+254.302 s]
/proc/loadavg: 0.98 0.57 0.23 2/68 21352
/proc/meminfo: memFree=1273728/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18164 CPUtime=253.99
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4390 0 0 0 25396 3 0 0 25 0 1 0 193015978 18599936 4247 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4541 4247 188 380 0 4158 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 254.19
Current children cumulated vsize (KiB) 37040

[startup+255.902 s]
/proc/loadavg: 0.98 0.57 0.23 2/68 21352
/proc/meminfo: memFree=1273728/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18296 CPUtime=255.58
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4411 0 0 0 25555 3 0 0 25 0 1 0 193015978 18735104 4268 1992294400 134512640 136070948 4294956272 18446744073709551615 134623043 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4574 4268 188 380 0 4191 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 255.78
Current children cumulated vsize (KiB) 37172

[startup+256.306 s]
/proc/loadavg: 0.98 0.57 0.23 2/68 21352
/proc/meminfo: memFree=1273664/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18296 CPUtime=255.99
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4411 0 0 0 25596 3 0 0 25 0 1 0 193015978 18735104 4268 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4574 4268 188 380 0 4191 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 256.19
Current children cumulated vsize (KiB) 37172

[startup+256.502 s]
/proc/loadavg: 0.98 0.57 0.23 2/68 21352
/proc/meminfo: memFree=1273664/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18296 CPUtime=256.18
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4411 0 0 0 25615 3 0 0 25 0 1 0 193015978 18735104 4268 1992294400 134512640 136070948 4294956272 18446744073709551615 134623147 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4574 4268 188 380 0 4191 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 256.38
Current children cumulated vsize (KiB) 37172

[startup+256.602 s]
/proc/loadavg: 0.98 0.57 0.23 2/68 21352
/proc/meminfo: memFree=1273664/2055920 swapFree=4191900/4192956
[pid=21347] ppid=21345 vsize=12268 CPUtime=0.01
/proc/21347/stat : 21347 (perl) S 21345 21347 21304 0 -1 4194304 438 0 0 0 1 0 0 0 18 0 1 0 193015973 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21347/statm: 3067 398 306 3 0 167 0
[pid=21349] ppid=21347 vsize=5356 CPUtime=0.19
/proc/21349/stat : 21349 (sh) S 21347 21347 21304 0 -1 4194304 305 145 0 0 0 0 19 0 16 0 1 0 193015977 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21349/statm: 1339 227 188 169 0 50 0
[pid=21351] ppid=21349 vsize=18296 CPUtime=256.28
/proc/21351/stat : 21351 (clasp) R 21349 21347 21304 0 -1 4194304 4411 0 0 0 25625 3 0 0 25 0 1 0 193015978 18735104 4268 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/21351/statm: 4574 4268 188 380 0 4191 0
[pid=21352] ppid=21349 vsize=1252 CPUtime=0
/proc/21352/stat : 21352 (pbout) S 21349 21347 21304 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193015978 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/21352/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 256.48
Current children cumulated vsize (KiB) 37172

Child status: 0
Real time (s): 256.648
CPU time (s): 256.561
CPU user time (s): 256.511
CPU system time (s): 0.049992
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 37172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.511
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5762
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= 357
involuntary context switches= 994

runsolver used 0.229965 second user time and 0.712891 second system time

The end