runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482436-1307576464/watcher-3482436-1307576464 -o /tmp/evaluation-result-3482436-1307576464/solver-3482436-1307576464 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482436-1307576464.opb -seed 1746409190 -budget 1800
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.28 0.42 0.14 2/467 12312
/proc/meminfo: memFree=30121532/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/12312/stat : 12312 (python) R 12310 12312 11775 0 -1 4202496 867 0 0 0 0 0 0 0 25 0 1 0 869246259 16154624 749 33554432000 4194304 5683644 140736926211152 18446744073709551615 4663568 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12312/statm: 3944 749 343 364 0 431 0
[startup+0.0627351 s]
/proc/loadavg: 1.28 0.42 0.14 2/467 12312
/proc/meminfo: memFree=30121532/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=45688 CPUtime=0.03 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 1888 0 0 0 3 0 0 0 25 0 1 0 869246259 46784512 1662 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12312/statm: 11422 1662 470 364 0 1171 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 45688
[startup+0.100728 s]
/proc/loadavg: 1.28 0.42 0.14 2/467 12312
/proc/meminfo: memFree=30121532/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/12312/stat : 12312 (python) R 12310 12312 11775 0 -1 4202496 3168 928 1 0 5 1 0 0 18 0 1 0 869246259 98435072 2483 33554432000 4194304 5683644 140736926211152 18446744073709551615 5177477 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12312/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300741 s]
/proc/loadavg: 1.28 0.42 0.14 2/467 12312
/proc/meminfo: memFree=30121532/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=200780 CPUtime=0.22 cores=0,2,4,6
/proc/12312/stat : 12312 (python) R 12310 12312 11775 0 -1 4202496 6631 928 1 0 17 5 0 0 17 0 1 0 869246259 205598720 4921 33554432000 4194304 5683644 140736926211152 18446744073709551615 248084729664 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12312/statm: 50195 4921 1451 364 0 3677 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 200780
[startup+0.700671 s]
/proc/loadavg: 1.28 0.42 0.14 2/467 12312
/proc/meminfo: memFree=30121532/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293480
[startup+1.50048 s]
/proc/loadavg: 1.33 0.44 0.15 3/471 12320
/proc/meminfo: memFree=30096204/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 703 0 0 0 0 0 0 0 19 0 1 0 869246314 290033664 5688 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 3849235010200502532 0 0 17 4 0 0 0
/proc/12318/statm: 70809 5688 349 364 0 5696 0
[pid=12320] ppid=12318 vsize=2388 CPUtime=0.93 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 608 0 0 0 93 0 0 0 23 0 1 0 869246315 2445312 350 33554432000 134512640 136139019 4293172160 18446744073709551615 134883461 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 597 350 184 398 0 197 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 579104
[startup+3.1002 s]
/proc/loadavg: 1.33 0.44 0.15 3/471 12321
/proc/meminfo: memFree=30095192/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 869246314 290033664 5691 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 2702318694507184388 0 0 17 4 0 0 0
/proc/12318/statm: 70809 5691 352 364 0 5696 0
[pid=12320] ppid=12318 vsize=2652 CPUtime=2.53 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 680 0 0 0 253 0 0 0 25 0 1 0 869246315 2715648 422 33554432000 134512640 136139019 4293172160 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 663 422 184 398 0 263 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 579368
[startup+6.30063 s]
/proc/loadavg: 1.39 0.47 0.16 3/471 12321
/proc/meminfo: memFree=30095476/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 888 0 0 0 0 1 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 17271705038011465988 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3056 CPUtime=5.73 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 769 0 0 0 572 1 0 0 25 0 1 0 869246315 3129344 511 33554432000 134512640 136139019 4293172160 18446744073709551615 134889487 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 764 511 184 398 0 364 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 579772
[startup+12.7166 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095872/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 892 0 0 0 1 2 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949347 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3588 CPUtime=12.14 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 903 0 0 0 1213 1 0 0 25 0 1 0 869246315 3674112 645 33554432000 134512640 136139019 4293172160 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 897 645 184 398 0 497 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 580304
Solver just ended. Dumping a history of the last processes samples
[startup+13.3005 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095872/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 892 0 0 0 1 2 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949347 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3588 CPUtime=12.72 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 905 0 0 0 1271 1 0 0 25 0 1 0 869246315 3674112 647 33554432000 134512640 136139019 4293172160 18446744073709551615 134608331 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 897 647 184 398 0 497 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 580304
[startup+14.9171 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095676/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949347 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3724 CPUtime=14.34 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 921 0 0 0 1433 1 0 0 25 0 1 0 869246315 3813376 663 33554432000 134512640 136139019 4293172160 18446744073709551615 134883561 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 931 663 184 398 0 531 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 14.81
Current children cumulated vsize (KiB) 580440
[startup+15.701 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095676/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949347 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3724 CPUtime=15.12 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 938 0 0 0 1511 1 0 0 25 0 1 0 869246315 3813376 680 33554432000 134512640 136139019 4293172160 18446744073709551615 134608386 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 931 680 184 398 0 531 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.59
Current children cumulated vsize (KiB) 580440
[startup+16.101 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095808/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949347 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3724 CPUtime=15.52 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 938 0 0 0 1551 1 0 0 25 0 1 0 869246315 3813376 680 33554432000 134512640 136139019 4293172160 18446744073709551615 134608547 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 931 680 184 398 0 531 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 580440
[startup+16.5009 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095808/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/12312/stat : 12312 (python) S 12310 12312 11775 0 -1 4202496 9707 928 1 0 35 8 0 0 19 0 2 0 869246259 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12312/statm: 73370 7213 1870 364 0 8257 0
[pid=12318] ppid=12312 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/12318/stat : 12318 (python) S 12312 12312 11775 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869246314 290033664 5715 33554432000 4194304 5683644 140736926211152 18446744073709551615 248089718287 0 0 16781312 33554946 72556772316949347 0 0 17 6 0 0 0
/proc/12318/statm: 70809 5715 376 364 0 5696 0
[pid=12320] ppid=12318 vsize=3724 CPUtime=15.92 cores=0,2,4,6
/proc/12320/stat : 12320 (clasp-1.3.7-x86) R 12318 12320 12320 0 -1 4202496 938 0 0 0 1591 1 0 0 25 0 1 0 869246315 3813376 680 33554432000 134512640 136139019 4293172160 18446744073709551615 134876608 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/12320/statm: 931 680 184 398 0 531 0
[pid=12312/tid=12319] ppid=12310 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12312/task/12319/stat : 12319 (python) S 12310 12312 11775 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869246315 300523520 7213 33554432000 4194304 5683644 140736926211152 18446744073709551615 248101521841 0 0 16781312 33554434 18446604447458600256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 580440
[startup+16.6009 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095808/32950928 swapFree=45617076/67111528
[pid=12312] ppid=12310 vsize=293456 CPUtime=16.52 cores=0,2,4,6
/proc/12312/stat : 12312 (python) R 12310 12312 11775 0 -1 4202496 11878 3085 1 0 36 8 1603 5 18 0 1 0 869246259 300498944 7211 33554432000 4194304 5683644 140736926211152 18446744073709551615 5119411 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/12312/statm: 73364 7211 1868 364 0 8257 0
Current children cumulated CPU time (s) 16.52
Current children cumulated vsize (KiB) 293456
Child status: 0
Real time (s): 16.6131
CPU time (s): 16.5455
CPU user time (s): 16.4075
CPU system time (s): 0.137979
CPU usage (%): 99.5931
Max. virtual memory (cumulated for all children) (KiB): 580440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4075
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17208
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1016
involuntary context switches= 65
runsolver used 0.079987 second user time and 0.161975 second system time
The end