1001.46/1002.43 s SATISFIABLE
1001.46/1002.44 v -2632 -2404 -2588 -2404 -2700 -2660 -2384 -2308 -2624 -2252 -2332 -2480 -2256 -2400 -2528 -2496 -2368 -2256 -2284 -2660 -2416 -2668 -2492 -2700 -2660 -2424 -2260 -2456 -2280 -2272 -2700 -2548 -2700 -2228 -2700 -2288 -2588 -2380 -2472 -2612 -2648 -2416 -2696 -2688 -2228 2668 -2600 -2512 -2568 -2372 -2424 -2480 -2296 -2376 -2280 -2304 2280 -2628 -2336 -2688 -2264 -2612 -2360 -2268 -2536 -2608 -2280 -2476 -2280 -2440 -2496 -2240 -2700 -2372 -2388 -2700 -2408 -2700 2224 -2404 -2356 -2452 -2700 -2432 -2236 2220 -2260 -2700 -2340 -2344 -2580 -2368 -2592 -2520 -2376 -2296 -2304 -2632 -2624 -2240 -2432 -2660 -2236 -2276 -2312 -2360 -2504 -2700 -2296 2432 -2260 -2392 -2648 -2628 -2632 -2348 -2440 -2260 -2256 -2428 -2364 -2376 -2304 -2660 -2440 -2264 -2344 -2336 -2636 -2300 -2488 -2244 2408 -2460 -2376 -2460 -2392 -2592 -2260 -2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2336 -2240 -2560 -2700 -2360 -2372 -2296 -2628 -2412 2256 -2444 -2660 -2300 -2500 -2344 -2432 -2660 -2660 -2424 2556 -2596 -2296 -2380 -2528 -2660 -2456 -2660 -2240 -2464 -2524 -2424 -2700 -2660 -2308 -2588 -2700 -2400 -2220 -2628 2416 -2564 -2412 -2400 -2336 -2308 2392 -2260 -2584 -2660 -2648 -2308 -2228 -2380 -2600 -2700 -2608 -2240 -2660 -2648 -2572 -2700 -2400 -2412 -2400 2220 -2648 -2408 -2408 -2268 -2648 -2512 -2612 -2612 -2472 2316 -2232 -2296 -2652 -2660 -2672 -2308 -2700 -2372 -2336 -2660 -2660 -2544 -2604 -2260 2568 -2676 -2420 -2660 -2420 -2360 -2688 -2528 -2552 -2444 -2384 -2368 -2448 -2336 -2660 -2332 -2324 -2504 -2328 -2468 -2700 -2660 -2592 -2628 -2660 -2604 -2356 -2668 -2308 -2660 2252 -2700 -2336 -2620 -2448 -2304 -2572 -2320 -2296 -2648 -2700 -2324 -2516 -2288 2220 -2500 -2416 -2676 -2700 -2644 -2656 -2444 -2560 -2660 -2508 -2292 -2552 -2300 -2268 -2700 -2464 -2384 2220 -2504 -2364 -2572 -2572 -2584 -2336 -2696 -2540 -2360 -2608 -2300 -2372 -2348 -2260 -2400 -2496 -2672 -2316 -2348 -2560 -2400 -2296 -2292 -2372 -2688 -2700 -2456 -2360 -2340 -2424 -2332 -2700 -2656 2544 -2464 -2444 -2268 -2548 -2272 -2432 -2540 -2528 -2460 -2600 -2384 -2332 -2316 -2660 -2376 -2660 -2492 -2660 -2484 -2256 -2268 -2500 -2584 -2384 2684 -2588 -2344 -2584 -2596 -2700 -2380 -2464 -2488 -2284 -2220 -2512 -2460 -2684 -2296 -2524 -2352 -2568 -2644 -2452 -2464 -2660 -2588 -2284 -2284 -2296 -2520 -2324 -2348 -2532 -2280 -2276 -2588 -2628 -2232 -2268 -2636 -2336 -2632 -2284 -2328 2368 -2572 -2668 -2336 -2660 -2576 -2628 -2332 -2296 -2344 -2224 -2628 -2272 -2608 -2700 -2456 2532 -2700 -2660 -2376 -2276 -2464 -2640 -2636 -2300 -2448 -2640 -2500 -2392 -2660 -2292 -2484 -2340 -2244 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2504 -2448 -2484 -2688 -2672 -2220 -2292 -2472 -2700 -2344 -2504 -2660 -2596 -2636 -2660 -2264 -2260 -2588 -2312 -2700 -2304 -2296 -2660 -2272 -2648 -2628 -2480 -2276 -2420 2488 -2420 -2700 -2564 -2504 -2220 -2252 -2352 -2660 -2700 -2336 -2340 -2376 -2660 -2384 -2240 -2408 -2292 -2700 -2532 -2308 -2248 -2420 -2272 -2624 -2236 -2312 -2536 -2552 -2324 -2408
1001.46/1002.44 d ASSIGNMENTS 140929
1001.46/1002.44 c SAT 1002346 TIME 140929 NDS 606 PARSTIME 1895 BUILDPB 999845 RES null RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086237-1215238241/watcher-1086237-1215238241 -o /tmp/evaluation-result-1086237-1215238241/solver-1086237-1215238241 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1086237-1215238241.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 4/93 30706
/proc/meminfo: memFree=1557240/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=0 CPUtime=0
/proc/30706/stat : 30706 (java) R 30704 30706 29288 0 -1 0 198 0 0 0 0 0 0 0 18 0 1 0 2002792974 0 0 996147200 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/30706/statm: 11 1 0 0 0 1 0
[startup+0.096049 s]
/proc/loadavg: 1.99 2.00 2.00 4/93 30706
/proc/meminfo: memFree=1557240/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=866524 CPUtime=0.08
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 3785 0 3 0 6 2 0 0 18 0 9 0 2002792974 887320576 3260 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216631 3260 1752 9 0 211103 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 866524
[startup+0.102049 s]
/proc/loadavg: 1.99 2.00 2.00 4/93 30706
/proc/meminfo: memFree=1557240/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=866524 CPUtime=0.09
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 3840 0 3 0 7 2 0 0 18 0 9 0 2002792974 887320576 3309 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216631 3309 1766 9 0 211103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866524
[startup+0.302097 s]
/proc/loadavg: 1.99 2.00 2.00 4/93 30706
/proc/meminfo: memFree=1557240/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867308 CPUtime=0.29
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 5046 0 3 0 26 3 0 0 18 0 9 0 2002792974 888123392 4496 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216827 4497 1864 9 0 211299 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 867308
[startup+0.701159 s]
/proc/loadavg: 1.99 2.00 2.00 4/93 30706
/proc/meminfo: memFree=1557240/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867440 CPUtime=0.68
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 8600 0 3 0 63 5 0 0 18 0 9 0 2002792974 888258560 8041 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216860 8041 1906 9 0 211332 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867440
[startup+1.5013 s]
/proc/loadavg: 1.99 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1511024/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867488 CPUtime=1.48
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 19773 0 4 0 138 10 0 0 18 0 9 0 2002792974 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216872 19172 1985 9 0 211344 0
[pid=30706/tid=30708] ppid=30704 vsize=867488 CPUtime=1.16
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15476 0 4 0 108 8 0 0 25 0 9 0 2002792975 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4125950761 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867488 CPUtime=0.06
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 2970 0 0 0 6 0 0 0 16 0 9 0 2002792977 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867488 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867488 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867488 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867488 CPUtime=0.22
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 599 0 0 0 22 0 0 0 16 0 9 0 2002792979 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867488 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867488 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888307712 19172 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867488
[startup+3.10159 s]
/proc/loadavg: 1.99 2.00 2.00 4/102 30715
/proc/meminfo: memFree=1486832/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=3.08
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 21816 0 5 0 296 12 0 0 18 0 9 0 2002792974 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 21206 1994 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=2.6
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15591 0 5 0 252 8 0 0 25 0 9 0 2002792975 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4125965827 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.11
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 4795 0 0 0 10 1 0 0 16 0 9 0 2002792977 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.34
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 702 0 0 0 33 1 0 0 15 0 9 0 2002792979 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 21206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867624
[startup+6.30116 s]
/proc/loadavg: 1.99 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1388592/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=6.28
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 44361 0 5 0 608 20 0 0 18 0 9 0 2002792974 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 43747 1994 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=5.62
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15595 0 5 0 554 8 0 0 25 0 9 0 2002792975 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4127401424 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.28
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 27336 0 0 0 19 9 0 0 17 0 9 0 2002792977 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.35
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 702 0 0 0 34 1 0 0 16 0 9 0 2002792979 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 43747 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867624
[startup+12.7013 s]
/proc/loadavg: 1.99 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1245872/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=12.66
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 79932 0 5 0 1233 33 0 0 18 0 9 0 2002792974 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 79313 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=11.72
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15608 0 5 0 1163 9 0 0 25 0 9 0 2002792975 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.51
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 62852 0 0 0 29 22 0 0 17 0 9 0 2002792977 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.41
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 744 0 0 0 40 1 0 0 16 0 9 0 2002792979 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 79313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 867624
[startup+25.5026 s]
/proc/loadavg: 1.99 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1245872/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=25.45
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 79942 0 5 0 2509 36 0 0 18 0 9 0 2002792974 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 79319 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=24.49
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15612 0 5 0 2438 11 0 0 25 0 9 0 2002792975 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.51
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 62852 0 0 0 29 22 0 0 16 0 9 0 2002792977 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.42
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 750 0 0 0 41 1 0 0 16 0 9 0 2002792979 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 79319 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 867624
[startup+51.1022 s]
/proc/loadavg: 2.07 2.02 2.00 3/102 30715
/proc/meminfo: memFree=1245808/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=51.03
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 79947 0 5 0 5060 43 0 0 18 0 9 0 2002792974 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 79320 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=50.06
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15616 0 5 0 4988 18 0 0 25 0 9 0 2002792975 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.51
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 62852 0 0 0 29 22 0 0 16 0 9 0 2002792977 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.42
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 751 0 0 0 41 1 0 0 16 0 9 0 2002792979 888446976 79320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
################
# More data... #
################
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=700.63
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15623 0 5 0 69993 70 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.54
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 31 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.64
Current children cumulated vsize (KiB) 867624
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1233648/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=761.58
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 82755 0 5 0 76057 101 0 0 18 0 9 0 2002792974 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 82120 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=760.58
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15624 0 5 0 75983 75 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4127403870 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.54
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 31 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.58
Current children cumulated vsize (KiB) 867624
[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1233648/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=821.53
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 82756 0 5 0 82044 109 0 0 18 0 9 0 2002792974 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 82120 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=820.52
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15625 0 5 0 81969 83 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4127427843 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.54
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 31 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.53
Current children cumulated vsize (KiB) 867624
[startup+882.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1233648/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=881.47
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 82756 0 5 0 88031 116 0 0 18 0 9 0 2002792974 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 82120 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=880.46
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15625 0 5 0 87956 90 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4127401472 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.54
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 31 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.47
Current children cumulated vsize (KiB) 867624
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1233648/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=941.41
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 82757 0 5 0 94015 126 0 0 18 0 9 0 2002792974 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 82120 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=940.4
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15626 0 5 0 93940 100 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4127402842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.54
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 31 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.41
Current children cumulated vsize (KiB) 867624
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1233584/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=1001.36
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 82760 0 5 0 99958 178 0 0 18 0 9 0 2002792974 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 82120 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=1000.34
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15629 0 5 0 99882 152 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.55
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 32 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.36
Current children cumulated vsize (KiB) 867624
Solver just ended. Dumping a history of the last processes samples
[startup+1002.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30715
/proc/meminfo: memFree=1233584/2055920 swapFree=4111052/4192956
[pid=30706] ppid=30704 vsize=867624 CPUtime=1001.46
/proc/30706/stat : 30706 (java) S 30704 30706 29288 0 -1 0 82760 0 5 0 99968 178 0 0 18 0 9 0 2002792974 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30706/statm: 216906 82120 1995 9 0 211378 0
[pid=30706/tid=30708] ppid=30704 vsize=867624 CPUtime=1000.44
/proc/30706/task/30708/stat : 30708 (java) R 30704 30706 29288 0 -1 64 15629 0 5 0 99892 152 0 0 25 0 9 0 2002792975 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30709] ppid=30704 vsize=867624 CPUtime=0.55
/proc/30706/task/30709/stat : 30709 (java) S 30704 30706 29288 0 -1 64 65648 0 0 0 32 23 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30710] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30710/stat : 30710 (java) S 30704 30706 29288 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30711] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30711/stat : 30711 (java) S 30704 30706 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002792977 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30712] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30712/stat : 30712 (java) S 30704 30706 29288 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30713] ppid=30704 vsize=867624 CPUtime=0.43
/proc/30706/task/30713/stat : 30713 (java) S 30704 30706 29288 0 -1 64 755 0 0 0 42 1 0 0 16 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30714] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30714/stat : 30714 (java) S 30704 30706 29288 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30706/tid=30715] ppid=30704 vsize=867624 CPUtime=0
/proc/30706/task/30715/stat : 30715 (java) S 30704 30706 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002792979 888446976 82120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.46
Current children cumulated vsize (KiB) 867624
Child status: 0
Real time (s): 1002.5
CPU time (s): 1001.56
CPU user time (s): 999.725
CPU system time (s): 1.83972
CPU usage (%): 99.9068
Max. virtual memory (cumulated for all children) (KiB): 867624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 999.725
system time used= 1.83972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82773
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22855
involuntary context switches= 27490
runsolver used 1.44178 second user time and 3.12352 second system time
The end
Begin job on node70 at 2008-07-05 08:10:41
IDJOB=1086237
IDBENCH=57782
IDSOLVER=349
FILE ID=node70/1086237-1215238241
PBS_JOBID= 7881925
Free space on /tmp= 66316 MiB
SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/fapp/fapp21/normalized-fapp21-0500-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086237-1215238241/watcher-1086237-1215238241 -o /tmp/evaluation-result-1086237-1215238241/solver-1086237-1215238241 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1086237-1215238241.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4865df64d75a9de2ecccf47a2577a6da
RANDOM SEED=2013177906
node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1557784 kB
Buffers: 8776 kB
Cached: 120192 kB
SwapCached: 76324 kB
Active: 408544 kB
Inactive: 34272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1557784 kB
SwapTotal: 4192956 kB
SwapFree: 4111052 kB
Dirty: 6304 kB
Writeback: 0 kB
Mapped: 329792 kB
Slab: 39748 kB
Committed_AS: 4864308 kB
PageTables: 2564 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node70 at 2008-07-05 08:27:24