runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3372978-1306162801/watcher-3372978-1306162801 -o /tmp/evaluation-result-3372978-1306162801/solver-3372978-1306162801 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372978-1306162801.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.47 31.52 31.83 1/413 3589
/proc/meminfo: memFree=255164452/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=13788 CPUtime=0.01 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 1509 1242 0 0 1 0 0 0 22 0 1 0 727766798 14118912 1441 268435456000 4194304 4417452 140733460678800 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 3447 1441 145 55 0 1333 0
[startup+0.130184 s]
/proc/loadavg: 29.47 31.52 31.83 1/413 3589
/proc/meminfo: memFree=255164452/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=25592 CPUtime=0.11 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 4471 1242 0 0 11 0 0 0 22 0 1 0 727766798 26206208 4403 268435456000 4194304 4417452 140733460678800 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 6398 4403 146 55 0 4284 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25592
[startup+0.201141 s]
/proc/loadavg: 29.47 31.52 31.83 1/413 3589
/proc/meminfo: memFree=255164452/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=32540 CPUtime=0.19 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 6224 1242 0 0 18 1 0 0 23 0 1 0 727766798 33320960 6156 268435456000 4194304 4417452 140733460678800 18446744073709551615 4231461 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 8135 6156 146 55 0 6021 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32540
[startup+0.301146 s]
/proc/loadavg: 29.47 31.52 31.83 1/413 3589
/proc/meminfo: memFree=255164452/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=41004 CPUtime=0.28 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 8340 1242 0 0 27 1 0 0 23 0 1 0 727766798 41988096 8272 268435456000 4194304 4417452 140733460678800 18446744073709551615 4231626 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 10251 8272 146 55 0 8137 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41004
[startup+0.701157 s]
/proc/loadavg: 29.47 31.52 31.83 1/413 3589
/proc/meminfo: memFree=255164452/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=62424 CPUtime=0.69 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 13695 1242 0 0 66 3 0 0 25 0 1 0 727766798 63922176 13627 268435456000 4194304 4417452 140733460678800 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 15606 13627 146 55 0 13492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62424
[startup+1.50119 s]
/proc/loadavg: 27.19 31.02 31.67 2/414 3595
/proc/meminfo: memFree=255060516/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=129180 CPUtime=1.49 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 30400 1242 0 0 143 6 0 0 25 0 1 0 727766798 132280320 30316 268435456000 4194304 4417452 140733460678800 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 32295 30316 146 55 0 30181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129180
[startup+3.10124 s]
/proc/loadavg: 27.19 31.02 31.67 2/414 3595
/proc/meminfo: memFree=254976916/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=227484 CPUtime=3.08 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 54976 1242 0 0 298 10 0 0 25 0 1 0 727766798 232943616 54892 268435456000 4194304 4417452 140733460678800 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 56871 54892 146 55 0 54757 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 227484
[startup+6.30036 s]
/proc/loadavg: 25.09 30.52 31.50 2/414 3597
/proc/meminfo: memFree=254796012/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=442048 CPUtime=6.29 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 108585 1242 0 0 608 21 0 0 25 0 1 0 727766798 452657152 108501 268435456000 4194304 4417452 140733460678800 18446744073709551615 4231468 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3589/statm: 110512 108501 146 55 0 108398 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 442048
[startup+12.7006 s]
/proc/loadavg: 23.16 30.03 31.34 2/414 3597
/proc/meminfo: memFree=254299580/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=873016 CPUtime=12.69 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 216359 1242 0 0 1226 43 0 0 25 0 1 0 727766798 893968384 216275 268435456000 4194304 4417452 140733460678800 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/3589/statm: 218254 216275 146 55 0 216140 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 873016
[startup+25.501 s]
/proc/loadavg: 19.76 29.07 31.01 2/414 3597
/proc/meminfo: memFree=253438344/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=1734720 CPUtime=25.48 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 431809 1242 0 0 2462 86 0 0 25 0 1 0 727766798 1776353280 431701 268435456000 4194304 4417452 140733460678800 18446744073709551615 4264851 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/3589/statm: 433680 431701 146 55 0 431566 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1734720
[startup+51.101 s]
/proc/loadavg: 12.37 26.39 30.06 2/414 3597
/proc/meminfo: memFree=252238584/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=2933488 CPUtime=51.08 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 731541 1242 0 0 4960 148 0 0 25 0 1 0 727766798 3003891712 731393 268435456000 4194304 4417452 140733460678800 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/3589/statm: 733372 731393 146 55 0 731258 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2933488
[startup+102.303 s]
/proc/loadavg: 23.58 27.28 30.17 33/446 3642
/proc/meminfo: memFree=249405576/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=6260580 CPUtime=1391.59 cores=0-31
/proc/3589/stat : 3589 (plingeling) S 3587 3589 3315 0 -1 4202496 2771827 1242 0 0 135527 3632 0 0 18 0 33 0 727766798 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/3589/statm: 1565145 1438207 175 55 0 1563031 0
[pid=3589/tid=3598] ppid=3587 vsize=6260580 CPUtime=40.7 cores=0-31
/proc/3589/task/3598/stat : 3598 (plingeling) R 3587 3589 3315 0 -1 4202560 62927 1242 0 0 3939 131 0 0 25 0 33 0 727772297 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3589/tid=3599] ppid=3587 vsize=6260580 CPUtime=39.93 cores=0-31
/proc/3589/task/3599/stat : 3599 (plingeling) R 3587 3589 3315 0 -1 4202560 68179 1242 0 0 3862 131 0 0 25 0 33 0 727772297 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4353636 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3589/tid=3600] ppid=3587 vsize=6260580 CPUtime=43.62 cores=0-31
/proc/3589/task/3600/stat : 3600 (plingeling) R 3587 3589 3315 0 -1 4202560 60880 1242 0 0 4278 84 0 0 25 0 33 0 727772297 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3589/tid=3601] ppid=3587 vsize=6260580 CPUtime=45.62 cores=0-31
/proc/3589/task/3601/stat : 3601 (plingeling) R 3587 3589 3315 0 -1 4202560 8209 1242 0 0 4561 1 0 0 25 0 33 0 727772297 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3589/tid=3602] ppid=3587 vsize=6260580 CPUtime=43.54 cores=0-31
/proc/3589/task/3602/stat : 3602 (plingeling) R 3587 3589 3315 0 -1 4202560 65741 1242 0 0 4247 107 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3589/tid=3603] ppid=3587 vsize=6260580 CPUtime=42.75 cores=0-31
/proc/3589/task/3603/stat : 3603 (plingeling) R 3587 3589 3315 0 -1 4202560 62236 1242 0 0 4175 100 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3589/tid=3604] ppid=3587 vsize=6260580 CPUtime=43.23 cores=0-31
/proc/3589/task/3604/stat : 3604 (plingeling) R 3587 3589 3315 0 -1 4202560 65770 1242 0 0 4214 109 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3589/tid=3605] ppid=3587 vsize=6260580 CPUtime=40.05 cores=0-31
/proc/3589/task/3605/stat : 3605 (plingeling) R 3587 3589 3315 0 -1 4202560 68356 1242 0 0 3850 155 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3589/tid=3607] ppid=3587 vsize=6260580 CPUtime=42 cores=0-31
/proc/3589/task/3607/stat : 3607 (plingeling) R 3587 3589 3315 0 -1 4202560 64197 1242 0 0 4096 104 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3589/tid=3608] ppid=3587 vsize=6260580 CPUtime=40.54 cores=0-31
/proc/3589/task/3608/stat : 3608 (plingeling) R 3587 3589 3315 0 -1 4202560 68698 1242 0 0 3906 148 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3589/tid=3609] ppid=3587 vsize=6260580 CPUtime=43.11 cores=0-31
/proc/3589/task/3609/stat : 3609 (plingeling) R 3587 3589 3315 0 -1 4202560 61669 1242 0 0 4201 110 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3589/tid=3610] ppid=3587 vsize=6260580 CPUtime=40.46 cores=0-31
/proc/3589/task/3610/stat : 3610 (plingeling) R 3587 3589 3315 0 -1 4202560 61024 1242 0 0 3955 91 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3589/tid=3611] ppid=3587 vsize=6260580 CPUtime=42.16 cores=0-31
/proc/3589/task/3611/stat : 3611 (plingeling) R 3587 3589 3315 0 -1 4202560 61244 1242 0 0 4133 83 0 0 25 0 33 0 727772298 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4250633 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3589/tid=3612] ppid=3587 vsize=6260580 CPUtime=39.85 cores=0-31
/proc/3589/task/3612/stat : 3612 (plingeling) R 3587 3589 3315 0 -1 4202560 67987 1242 0 0 3856 129 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4265485 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3589/tid=3613] ppid=3587 vsize=6260580 CPUtime=42.43 cores=0-31
/proc/3589/task/3613/stat : 3613 (plingeling) R 3587 3589 3315 0 -1 4202560 59052 1242 0 0 4171 72 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3589/tid=3614] ppid=3587 vsize=6260580 CPUtime=42.88 cores=0-31
/proc/3589/task/3614/stat : 3614 (plingeling) R 3587 3589 3315 0 -1 4202560 71452 1242 0 0 4188 100 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3589/tid=3615] ppid=3587 vsize=6260580 CPUtime=40.85 cores=0-31
/proc/3589/task/3615/stat : 3615 (plingeling) R 3587 3589 3315 0 -1 4202560 68747 1242 0 0 3970 115 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3589/tid=3616] ppid=3587 vsize=6260580 CPUtime=43.92 cores=0-31
/proc/3589/task/3616/stat : 3616 (plingeling) R 3587 3589 3315 0 -1 4202560 64476 1242 0 0 4314 78 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3589/tid=3617] ppid=3587 vsize=6260580 CPUtime=42.66 cores=0-31
/proc/3589/task/3617/stat : 3617 (plingeling) R 3587 3589 3315 0 -1 4202560 64647 1242 0 0 4157 109 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3589/tid=3618] ppid=3587 vsize=6260580 CPUtime=42.95 cores=0-31
/proc/3589/task/3618/stat : 3618 (plingeling) R 3587 3589 3315 0 -1 4202560 58734 1242 0 0 4222 73 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3589/tid=3619] ppid=3587 vsize=6260580 CPUtime=42.58 cores=0-31
/proc/3589/task/3619/stat : 3619 (plingeling) R 3587 3589 3315 0 -1 4202560 58437 1242 0 0 4157 101 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3589/tid=3620] ppid=3587 vsize=6260580 CPUtime=42.67 cores=0-31
/proc/3589/task/3620/stat : 3620 (plingeling) R 3587 3589 3315 0 -1 4202560 67204 1242 0 0 4124 143 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3589/tid=3621] ppid=3587 vsize=6260580 CPUtime=42.85 cores=0-31
/proc/3589/task/3621/stat : 3621 (plingeling) R 3587 3589 3315 0 -1 4202560 69439 1242 0 0 4196 89 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3589/tid=3622] ppid=3587 vsize=6260580 CPUtime=41.05 cores=0-31
/proc/3589/task/3622/stat : 3622 (plingeling) R 3587 3589 3315 0 -1 4202560 69046 1242 0 0 3987 118 0 0 25 0 33 0 727772299 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3589/tid=3623] ppid=3587 vsize=6260580 CPUtime=40.48 cores=0-31
/proc/3589/task/3623/stat : 3623 (plingeling) R 3587 3589 3315 0 -1 4202560 72175 1242 0 0 3907 141 0 0 25 0 33 0 727772300 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3589/tid=3624] ppid=3587 vsize=6260580 CPUtime=40.22 cores=0-31
/proc/3589/task/3624/stat : 3624 (plingeling) R 3587 3589 3315 0 -1 4202560 70005 1242 0 0 3940 82 0 0 25 0 33 0 727772301 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3589/tid=3625] ppid=3587 vsize=6260580 CPUtime=43.03 cores=0-31
/proc/3589/task/3625/stat : 3625 (plingeling) R 3587 3589 3315 0 -1 4202560 68023 1242 0 0 4192 111 0 0 25 0 33 0 727772301 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3589/tid=3626] ppid=3587 vsize=6260580 CPUtime=40.48 cores=0-31
/proc/3589/task/3626/stat : 3626 (plingeling) R 3587 3589 3315 0 -1 4202560 62624 1242 0 0 3894 154 0 0 25 0 33 0 727772302 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3589/tid=3627] ppid=3587 vsize=6260580 CPUtime=39.44 cores=0-31
/proc/3589/task/3627/stat : 3627 (plingeling) R 3587 3589 3315 0 -1 4202560 62386 1242 0 0 3809 135 0 0 25 0 33 0 727772302 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3589/tid=3628] ppid=3587 vsize=6260580 CPUtime=40.06 cores=0-31
/proc/3589/task/3628/stat : 3628 (plingeling) R 3587 3589 3315 0 -1 4202560 70453 1242 0 0 3897 109 0 0 25 0 33 0 727772305 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3589/tid=3629] ppid=3587 vsize=6260580 CPUtime=40.84 cores=0-31
/proc/3589/task/3629/stat : 3629 (plingeling) R 3587 3589 3315 0 -1 4202560 64186 1242 0 0 3976 108 0 0 25 0 33 0 727772305 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3589/tid=3630] ppid=3587 vsize=6260580 CPUtime=39.6 cores=0-31
/proc/3589/task/3630/stat : 3630 (plingeling) R 3587 3589 3315 0 -1 4202560 72043 1242 0 0 3813 147 0 0 25 0 33 0 727772305 6410833920 1438207 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1391.59
Current children cumulated vsize (KiB) 6260580
[startup+162.302 s]
/proc/loadavg: 28.90 28.14 30.28 33/446 3644
/proc/meminfo: memFree=249187840/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=6495408 CPUtime=3286.03 cores=0-31
/proc/3589/stat : 3589 (plingeling) S 3587 3589 3315 0 -1 4202496 3806765 1242 0 0 324168 4435 0 0 18 0 33 0 727766798 6651297792 1490007 268435456000 4194304 4417452 140733460678800 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/3589/statm: 1623852 1490007 175 55 0 1621738 0
[pid=3589/tid=3598] ppid=3587 vsize=6495408 CPUtime=100.43 cores=0-31
/proc/3589/task/3598/stat : 3598 (plingeling) R 3587 3589 3315 0 -1 4202560 83410 1242 0 0 9907 136 0 0 25 0 33 0 727772297 6651297792 1490007 268435456000 4194304 4417452 140733460678800 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3589/tid=3599] ppid=3587 vsize=6495408 CPUtime=99.09 cores=0-31
################
# More data... #
################
/proc/3589/task/3603/stat : 3603 (plingeling) R 3587 3589 3315 0 -1 4202560 462460 1242 0 0 187494 556 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3589/tid=3604] ppid=3587 vsize=9015848 CPUtime=1881.67 cores=0-31
/proc/3589/task/3604/stat : 3604 (plingeling) R 3587 3589 3315 0 -1 4202560 269703 1242 0 0 187943 224 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3589/tid=3605] ppid=3587 vsize=9015848 CPUtime=1878.95 cores=0-31
/proc/3589/task/3605/stat : 3605 (plingeling) R 3587 3589 3315 0 -1 4202560 218270 1242 0 0 187670 225 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3589/tid=3607] ppid=3587 vsize=9015848 CPUtime=1878.47 cores=0-31
/proc/3589/task/3607/stat : 3607 (plingeling) R 3587 3589 3315 0 -1 4202560 224234 1242 0 0 187650 197 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3589/tid=3608] ppid=3587 vsize=9015848 CPUtime=1878.38 cores=0-31
/proc/3589/task/3608/stat : 3608 (plingeling) R 3587 3589 3315 0 -1 4202560 212869 1242 0 0 187620 218 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3589/tid=3609] ppid=3587 vsize=9015848 CPUtime=1881.26 cores=0-31
/proc/3589/task/3609/stat : 3609 (plingeling) R 3587 3589 3315 0 -1 4202560 249745 1242 0 0 187935 191 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3589/tid=3610] ppid=3587 vsize=9015848 CPUtime=1879.12 cores=0-31
/proc/3589/task/3610/stat : 3610 (plingeling) R 3587 3589 3315 0 -1 4202560 382044 1242 0 0 187649 263 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3589/tid=3611] ppid=3587 vsize=9015848 CPUtime=1878.89 cores=0-31
/proc/3589/task/3611/stat : 3611 (plingeling) R 3587 3589 3315 0 -1 4202560 189504 1242 0 0 187743 146 0 0 25 0 33 0 727772298 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3589/tid=3612] ppid=3587 vsize=9015848 CPUtime=1868.85 cores=0-31
/proc/3589/task/3612/stat : 3612 (plingeling) R 3587 3589 3315 0 -1 4202560 465744 1242 0 0 186430 455 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4302950 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3589/tid=3613] ppid=3587 vsize=9015848 CPUtime=1876.52 cores=0-31
/proc/3589/task/3613/stat : 3613 (plingeling) R 3587 3589 3315 0 -1 4202560 210387 1242 0 0 187485 167 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3589/tid=3614] ppid=3587 vsize=9015848 CPUtime=1881.31 cores=0-31
/proc/3589/task/3614/stat : 3614 (plingeling) R 3587 3589 3315 0 -1 4202560 208668 1242 0 0 187988 143 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3589/tid=3615] ppid=3587 vsize=9015848 CPUtime=1878.46 cores=0-31
/proc/3589/task/3615/stat : 3615 (plingeling) R 3587 3589 3315 0 -1 4202560 261514 1242 0 0 187630 216 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3589/tid=3616] ppid=3587 vsize=9015848 CPUtime=1873.82 cores=0-31
/proc/3589/task/3616/stat : 3616 (plingeling) R 3587 3589 3315 0 -1 4202560 400991 1242 0 0 186995 387 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4321683 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3589/tid=3617] ppid=3587 vsize=9015848 CPUtime=1881.05 cores=0-31
/proc/3589/task/3617/stat : 3617 (plingeling) R 3587 3589 3315 0 -1 4202560 373832 1242 0 0 187760 345 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3589/tid=3618] ppid=3587 vsize=9015848 CPUtime=1881.06 cores=0-31
/proc/3589/task/3618/stat : 3618 (plingeling) R 3587 3589 3315 0 -1 4202560 273015 1242 0 0 187888 218 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4255584 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3589/tid=3619] ppid=3587 vsize=9015848 CPUtime=1880.65 cores=0-31
/proc/3589/task/3619/stat : 3619 (plingeling) R 3587 3589 3315 0 -1 4202560 345069 1242 0 0 187765 300 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4237136 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3589/tid=3620] ppid=3587 vsize=9015848 CPUtime=1874.95 cores=0-31
/proc/3589/task/3620/stat : 3620 (plingeling) R 3587 3589 3315 0 -1 4202560 453853 1242 0 0 187025 470 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3589/tid=3621] ppid=3587 vsize=9015848 CPUtime=1878.58 cores=0-31
/proc/3589/task/3621/stat : 3621 (plingeling) R 3587 3589 3315 0 -1 4202560 242770 1242 0 0 187662 196 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3589/tid=3622] ppid=3587 vsize=9015848 CPUtime=1876.94 cores=0-31
/proc/3589/task/3622/stat : 3622 (plingeling) R 3587 3589 3315 0 -1 4202560 465073 1242 0 0 187306 388 0 0 25 0 33 0 727772299 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4308810 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3589/tid=3623] ppid=3587 vsize=9015848 CPUtime=1878.66 cores=0-31
/proc/3589/task/3623/stat : 3623 (plingeling) R 3587 3589 3315 0 -1 4202560 503854 1242 0 0 187582 284 0 0 25 0 33 0 727772300 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3589/tid=3624] ppid=3587 vsize=9015848 CPUtime=1873.23 cores=0-31
/proc/3589/task/3624/stat : 3624 (plingeling) R 3587 3589 3315 0 -1 4202560 216280 1242 0 0 187185 138 0 0 25 0 33 0 727772301 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3589/tid=3625] ppid=3587 vsize=9015848 CPUtime=1881.02 cores=0-31
/proc/3589/task/3625/stat : 3625 (plingeling) R 3587 3589 3315 0 -1 4202560 419535 1242 0 0 187742 360 0 0 25 0 33 0 727772301 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4259180 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3589/tid=3626] ppid=3587 vsize=9015848 CPUtime=1878.7 cores=0-31
/proc/3589/task/3626/stat : 3626 (plingeling) R 3587 3589 3315 0 -1 4202560 246688 1242 0 0 187648 222 0 0 25 0 33 0 727772302 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3589/tid=3627] ppid=3587 vsize=9015848 CPUtime=1877.61 cores=0-31
/proc/3589/task/3627/stat : 3627 (plingeling) R 3587 3589 3315 0 -1 4202560 278311 1242 0 0 187529 232 0 0 25 0 33 0 727772302 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3589/tid=3628] ppid=3587 vsize=9015848 CPUtime=1878.29 cores=0-31
/proc/3589/task/3628/stat : 3628 (plingeling) R 3587 3589 3315 0 -1 4202560 351031 1242 0 0 187494 335 0 0 25 0 33 0 727772305 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3589/tid=3629] ppid=3587 vsize=9015848 CPUtime=1878.04 cores=0-31
/proc/3589/task/3629/stat : 3629 (plingeling) R 3587 3589 3315 0 -1 4202560 364850 1242 0 0 187513 291 0 0 25 0 33 0 727772305 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3589/tid=3630] ppid=3587 vsize=9015848 CPUtime=1878.32 cores=0-31
/proc/3589/task/3630/stat : 3630 (plingeling) R 3587 3589 3315 0 -1 4202560 209029 1242 0 0 187631 201 0 0 25 0 33 0 727772305 9232228352 2097855 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 60168.9
Current children cumulated vsize (KiB) 9015848
[startup+1945.6 s]
/proc/loadavg: 32.14 32.12 31.83 33/446 3694
/proc/meminfo: memFree=246712956/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=9071456 CPUtime=60271.2 cores=0-31
/proc/3589/stat : 3589 (plingeling) S 3587 3589 3315 0 -1 4202496 10830774 1242 0 0 6018296 8823 0 0 18 0 33 0 727766798 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/3589/statm: 2267864 2111757 175 55 0 2265750 0
[pid=3589/tid=3598] ppid=3587 vsize=9071456 CPUtime=1883.2 cores=0-31
/proc/3589/task/3598/stat : 3598 (plingeling) R 3587 3589 3315 0 -1 4202560 497833 1242 0 0 187836 484 0 0 25 0 33 0 727772297 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3589/tid=3599] ppid=3587 vsize=9071456 CPUtime=1881.62 cores=0-31
/proc/3589/task/3599/stat : 3599 (plingeling) R 3587 3589 3315 0 -1 4202560 384327 1242 0 0 187815 347 0 0 25 0 33 0 727772297 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3589/tid=3600] ppid=3587 vsize=9071456 CPUtime=1884.5 cores=0-31
/proc/3589/task/3600/stat : 3600 (plingeling) R 3587 3589 3315 0 -1 4202560 288750 1242 0 0 188222 228 0 0 25 0 33 0 727772297 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3589/tid=3601] ppid=3587 vsize=9071456 CPUtime=1888.18 cores=0-31
/proc/3589/task/3601/stat : 3601 (plingeling) R 3587 3589 3315 0 -1 4202560 187319 1242 0 0 188756 62 0 0 25 0 33 0 727772297 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3589/tid=3602] ppid=3587 vsize=9071456 CPUtime=1878.78 cores=0-31
/proc/3589/task/3602/stat : 3602 (plingeling) R 3587 3589 3315 0 -1 4202560 227722 1242 0 0 187712 166 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3589/tid=3603] ppid=3587 vsize=9071456 CPUtime=1883.7 cores=0-31
/proc/3589/task/3603/stat : 3603 (plingeling) R 3587 3589 3315 0 -1 4202560 462460 1242 0 0 187814 556 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3589/tid=3604] ppid=3587 vsize=9071456 CPUtime=1884.87 cores=0-31
/proc/3589/task/3604/stat : 3604 (plingeling) R 3587 3589 3315 0 -1 4202560 269703 1242 0 0 188263 224 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3589/tid=3605] ppid=3587 vsize=9071456 CPUtime=1882.15 cores=0-31
/proc/3589/task/3605/stat : 3605 (plingeling) R 3587 3589 3315 0 -1 4202560 218270 1242 0 0 187990 225 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3589/tid=3607] ppid=3587 vsize=9071456 CPUtime=1881.67 cores=0-31
/proc/3589/task/3607/stat : 3607 (plingeling) R 3587 3589 3315 0 -1 4202560 224234 1242 0 0 187970 197 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4365198 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3589/tid=3608] ppid=3587 vsize=9071456 CPUtime=1881.58 cores=0-31
/proc/3589/task/3608/stat : 3608 (plingeling) R 3587 3589 3315 0 -1 4202560 212869 1242 0 0 187940 218 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3589/tid=3609] ppid=3587 vsize=9071456 CPUtime=1884.46 cores=0-31
/proc/3589/task/3609/stat : 3609 (plingeling) R 3587 3589 3315 0 -1 4202560 249745 1242 0 0 188255 191 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3589/tid=3610] ppid=3587 vsize=9071456 CPUtime=1882.32 cores=0-31
/proc/3589/task/3610/stat : 3610 (plingeling) R 3587 3589 3315 0 -1 4202560 382044 1242 0 0 187969 263 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3589/tid=3611] ppid=3587 vsize=9071456 CPUtime=1882.09 cores=0-31
/proc/3589/task/3611/stat : 3611 (plingeling) R 3587 3589 3315 0 -1 4202560 189504 1242 0 0 188063 146 0 0 25 0 33 0 727772298 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3589/tid=3612] ppid=3587 vsize=9071456 CPUtime=1872.05 cores=0-31
/proc/3589/task/3612/stat : 3612 (plingeling) R 3587 3589 3315 0 -1 4202560 479046 1242 0 0 186747 458 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3589/tid=3613] ppid=3587 vsize=9071456 CPUtime=1879.63 cores=0-31
/proc/3589/task/3613/stat : 3613 (plingeling) R 3587 3589 3315 0 -1 4202560 210387 1242 0 0 187796 167 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3589/tid=3614] ppid=3587 vsize=9071456 CPUtime=1884.51 cores=0-31
/proc/3589/task/3614/stat : 3614 (plingeling) R 3587 3589 3315 0 -1 4202560 208668 1242 0 0 188308 143 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3589/tid=3615] ppid=3587 vsize=9071456 CPUtime=1881.66 cores=0-31
/proc/3589/task/3615/stat : 3615 (plingeling) R 3587 3589 3315 0 -1 4202560 261514 1242 0 0 187950 216 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3589/tid=3616] ppid=3587 vsize=9071456 CPUtime=1877.02 cores=0-31
/proc/3589/task/3616/stat : 3616 (plingeling) R 3587 3589 3315 0 -1 4202560 400991 1242 0 0 187315 387 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3589/tid=3617] ppid=3587 vsize=9071456 CPUtime=1884.25 cores=0-31
/proc/3589/task/3617/stat : 3617 (plingeling) R 3587 3589 3315 0 -1 4202560 373832 1242 0 0 188080 345 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3589/tid=3618] ppid=3587 vsize=9071456 CPUtime=1884.26 cores=0-31
/proc/3589/task/3618/stat : 3618 (plingeling) R 3587 3589 3315 0 -1 4202560 273519 1242 0 0 188208 218 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3589/tid=3619] ppid=3587 vsize=9071456 CPUtime=1883.85 cores=0-31
/proc/3589/task/3619/stat : 3619 (plingeling) R 3587 3589 3315 0 -1 4202560 345069 1242 0 0 188085 300 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3589/tid=3620] ppid=3587 vsize=9071456 CPUtime=1878.15 cores=0-31
/proc/3589/task/3620/stat : 3620 (plingeling) R 3587 3589 3315 0 -1 4202560 453853 1242 0 0 187345 470 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4262955 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3589/tid=3621] ppid=3587 vsize=9071456 CPUtime=1881.78 cores=0-31
/proc/3589/task/3621/stat : 3621 (plingeling) R 3587 3589 3315 0 -1 4202560 242770 1242 0 0 187982 196 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3589/tid=3622] ppid=3587 vsize=9071456 CPUtime=1880.14 cores=0-31
/proc/3589/task/3622/stat : 3622 (plingeling) R 3587 3589 3315 0 -1 4202560 465073 1242 0 0 187626 388 0 0 25 0 33 0 727772299 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4346561 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3589/tid=3623] ppid=3587 vsize=9071456 CPUtime=1881.86 cores=0-31
/proc/3589/task/3623/stat : 3623 (plingeling) R 3587 3589 3315 0 -1 4202560 503854 1242 0 0 187902 284 0 0 25 0 33 0 727772300 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3589/tid=3624] ppid=3587 vsize=9071456 CPUtime=1876.43 cores=0-31
/proc/3589/task/3624/stat : 3624 (plingeling) R 3587 3589 3315 0 -1 4202560 216393 1242 0 0 187505 138 0 0 25 0 33 0 727772301 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3589/tid=3625] ppid=3587 vsize=9071456 CPUtime=1884.22 cores=0-31
/proc/3589/task/3625/stat : 3625 (plingeling) R 3587 3589 3315 0 -1 4202560 419535 1242 0 0 188062 360 0 0 25 0 33 0 727772301 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3589/tid=3626] ppid=3587 vsize=9071456 CPUtime=1881.9 cores=0-31
/proc/3589/task/3626/stat : 3626 (plingeling) R 3587 3589 3315 0 -1 4202560 246688 1242 0 0 187968 222 0 0 25 0 33 0 727772302 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3589/tid=3627] ppid=3587 vsize=9071456 CPUtime=1880.81 cores=0-31
/proc/3589/task/3627/stat : 3627 (plingeling) R 3587 3589 3315 0 -1 4202560 278311 1242 0 0 187849 232 0 0 25 0 33 0 727772302 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3589/tid=3628] ppid=3587 vsize=9071456 CPUtime=1881.49 cores=0-31
/proc/3589/task/3628/stat : 3628 (plingeling) R 3587 3589 3315 0 -1 4202560 351031 1242 0 0 187814 335 0 0 25 0 33 0 727772305 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3589/tid=3629] ppid=3587 vsize=9071456 CPUtime=1881.24 cores=0-31
/proc/3589/task/3629/stat : 3629 (plingeling) R 3587 3589 3315 0 -1 4202560 364850 1242 0 0 187833 291 0 0 25 0 33 0 727772305 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4265437 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3589/tid=3630] ppid=3587 vsize=9071456 CPUtime=1881.52 cores=0-31
/proc/3589/task/3630/stat : 3630 (plingeling) R 3587 3589 3315 0 -1 4202560 209029 1242 0 0 187951 201 0 0 25 0 33 0 727772305 9289170944 2111757 268435456000 4194304 4417452 140733460678800 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 60271.2
Current children cumulated vsize (KiB) 9071456
[startup+1947.2 s]
/proc/loadavg: 32.12 32.12 31.83 33/446 3694
/proc/meminfo: memFree=246713076/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=9061212 CPUtime=60321 cores=0-31
/proc/3589/stat : 3589 (plingeling) S 3587 3589 3315 0 -1 4202496 10830775 1242 0 0 6023278 8824 0 0 17 0 4 0 727766798 9278681088 2111750 268435456000 4194304 4417452 140733460678800 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/3589/statm: 2265303 2111750 176 55 0 2263189 0
[pid=3589/tid=3602] ppid=3587 vsize=9061212 CPUtime=1880.38 cores=0-31
/proc/3589/task/3602/stat : 3602 (plingeling) R 3587 3589 3315 0 -1 4202560 227722 1242 0 0 187872 166 0 0 25 0 4 0 727772298 9278681088 2111750 268435456000 4194304 4417452 140733460678800 18446744073709551615 4346643 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3589/tid=3610] ppid=3587 vsize=9061212 CPUtime=1883.92 cores=0-31
/proc/3589/task/3610/stat : 3610 (plingeling) R 3587 3589 3315 0 -1 4202560 382044 1242 0 0 188129 263 0 0 25 0 4 0 727772298 9278681088 2111750 268435456000 4194304 4417452 140733460678800 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3589/tid=3617] ppid=3587 vsize=9061212 CPUtime=1885.85 cores=0-31
/proc/3589/task/3617/stat : 3617 (plingeling) R 3587 3589 3315 0 -1 4202560 373832 1242 0 0 188240 345 0 0 25 0 4 0 727772299 9278681088 2111750 268435456000 4194304 4417452 140733460678800 18446744073709551615 4263523 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 60321
Current children cumulated vsize (KiB) 9061212
[startup+1948 s]
/proc/loadavg: 32.12 32.12 31.83 33/446 3694
/proc/meminfo: memFree=246713076/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=3720240 CPUtime=60321.8 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202496 10830775 1242 0 0 6023303 8879 0 0 16 0 1 0 727766798 3809525760 835407 268435456000 4194304 4417452 140733460678800 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 30 0 0 0
/proc/3589/statm: 930060 834895 176 55 0 927946 0
Current children cumulated CPU time (s) 60321.8
Current children cumulated vsize (KiB) 3720240
[startup+1948.24 s]
/proc/loadavg: 32.12 32.12 31.83 2/414 3694
/proc/meminfo: memFree=252688416/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=0 CPUtime=60322.1 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202500 10830779 1242 0 0 6023303 8903 0 0 16 0 1 0 727766798 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 30 0 0 0
/proc/3589/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 60322.1
Current children cumulated vsize (KiB) 0
[startup+1948.3 s]
/proc/loadavg: 32.12 32.12 31.83 2/414 3694
/proc/meminfo: memFree=252688416/264257624 swapFree=67111528/67111528
[pid=3589] ppid=3587 vsize=0 CPUtime=60322.1 cores=0-31
/proc/3589/stat : 3589 (plingeling) R 3587 3589 3315 0 -1 4202500 10830779 1242 0 0 6023303 8909 0 0 16 0 1 0 727766798 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 30 0 0 0
/proc/3589/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 60322.1
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1948.39
CPU time (s): 60322.2
CPU user time (s): 60233
CPU system time (s): 89.1884
CPU usage (%): 3096.01
Max. virtual memory (cumulated for all children) (KiB): 9341276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60233
system time used= 89.1884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10832021
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= 9834
involuntary context switches= 151850
runsolver used 11.0453 second user time and 44.5982 second system time
The end
Begin job on node200 at 2011-05-23 17:00:04
IDJOB=3372978
IDBENCH=88163
IDSOLVER=1852
FILE ID=node200/3372978-1306162801
RUNJOBID= node200-1306157750-3329
PBS_JOBID= 13387850
Free space on /tmp= 61968 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372978-1306162801/watcher-3372978-1306162801 -o /tmp/evaluation-result-3372978-1306162801/solver-3372978-1306162801 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372978-1306162801.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f603f11fbfe855df381282b7bce010ea
RANDOM SEED=1995361898
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255164476 kB
Buffers: 461564 kB
Cached: 8218952 kB
SwapCached: 0 kB
Active: 7770572 kB
Inactive: 979160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255164476 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 81512 kB
Writeback: 0 kB
AnonPages: 68960 kB
Mapped: 14476 kB
Slab: 255732 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61968 MiB
End job on node200 at 2011-05-23 17:32:32