runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-270324-1169142190 -o ROOT/results/node15/solver-270324-1169142190 -C 1800 -M 900 /tmp/evaluation/270324-1169142190/cspfj.sh -competition /tmp/evaluation/270324-1169142190/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.21 1.54 1.27 5/94 25889
/proc/meminfo: memFree=1486288/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=18540 CPUtime=0
/proc/25888/stat : 25888 (runsolver) R 25886 25888 25600 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 262613845 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25888/statm: 4635 279 244 17 0 2626 0
[startup+0.111518 s]
/proc/loadavg: 2.21 1.54 1.27 5/94 25889
/proc/meminfo: memFree=1486288/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.519589 s]
/proc/loadavg: 2.21 1.54 1.27 5/94 25889
/proc/meminfo: memFree=1486288/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.34673 s]
/proc/loadavg: 2.21 1.54 1.27 3/102 25898
/proc/meminfo: memFree=1444624/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=866232 CPUtime=1.32
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 8766 0 1 0 125 7 0 0 24 0 8 0 262613846 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 216558 8451 1829 14 0 203819 0
[pid=25891/tid=25892] ppid=25888 vsize=866232 CPUtime=0.21
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 4375 0 0 0 20 1 0 0 16 0 8 0 262613849 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=866232 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262613850 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=866232 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=866232 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=866232 CPUtime=0.23
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 623 0 0 0 22 1 0 0 15 0 8 0 262613853 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=866232 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=866232 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 887021568 8451 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 871584
[startup+2.99501 s]
/proc/loadavg: 2.21 1.54 1.27 3/102 25898
/proc/meminfo: memFree=1390544/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=866332 CPUtime=2.96
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 18432 0 1 0 280 16 0 0 25 0 8 0 262613846 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073668862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 216583 18092 1829 14 0 203844 0
[pid=25891/tid=25892] ppid=25888 vsize=866332 CPUtime=0.63
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 13102 0 0 0 57 6 0 0 16 0 8 0 262613849 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=866332 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262613850 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=866332 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=866332 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=866332 CPUtime=0.3
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 660 0 0 0 29 1 0 0 15 0 8 0 262613853 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=866332 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=866332 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 887123968 18092 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 871684
[startup+6.22857 s]
/proc/loadavg: 2.20 1.54 1.28 3/102 25898
/proc/meminfo: memFree=1246736/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=866556 CPUtime=6.17
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 36541 0 1 0 586 31 0 0 25 0 8 0 262613846 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 216639 36181 1829 14 0 203900 0
[pid=25891/tid=25892] ppid=25888 vsize=866556 CPUtime=1.42
/proc/25891/task/25892/stat : 25892 (java) R 25888 25888 25600 0 -1 64 29951 0 0 0 129 13 0 0 16 0 8 0 262613849 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155073454 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262613850 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=866556 CPUtime=0.38
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 687 0 0 0 36 2 0 0 15 0 8 0 262613853 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 887353344 36181 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 871908
[startup+12.7245 s]
/proc/loadavg: 2.18 1.55 1.28 3/102 25898
/proc/meminfo: memFree=1012624/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=866556 CPUtime=12.66
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 66342 0 1 0 1210 56 0 0 25 0 8 0 262613846 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4152819944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 216639 65968 1829 14 0 203900 0
[pid=25891/tid=25892] ppid=25888 vsize=866556 CPUtime=3.02
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 56505 0 0 0 277 25 0 0 16 0 8 0 262613849 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=866556 CPUtime=0.38
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 687 0 0 0 36 2 0 0 16 0 8 0 262613853 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 887353344 65968 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 871908
[startup+25.5957 s]
/proc/loadavg: 2.14 1.57 1.29 3/102 25898
/proc/meminfo: memFree=733776/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=866556 CPUtime=25.53
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 104255 0 1 0 2461 92 0 0 25 0 8 0 262613846 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073803928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 216639 103870 1829 14 0 203900 0
[pid=25891/tid=25892] ppid=25888 vsize=866556 CPUtime=5.61
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 91765 0 0 0 520 41 0 0 16 0 8 0 262613849 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=866556 CPUtime=0.38
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 687 0 0 0 36 2 0 0 16 0 8 0 262613853 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=866556 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 887353344 103870 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 871908
[startup+51.2371 s]
/proc/loadavg: 2.16 1.62 1.31 3/102 25898
/proc/meminfo: memFree=386896/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=867484 CPUtime=51.16
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 156449 0 1 0 4973 143 0 0 25 0 8 0 262613846 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 216871 154996 1834 14 0 204132 0
[pid=25891/tid=25892] ppid=25888 vsize=867484 CPUtime=9.22
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 140898 0 0 0 859 63 0 0 16 0 8 0 262613849 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=867484 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=867484 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=867484 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=867484 CPUtime=0.56
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 796 0 0 0 53 3 0 0 15 0 8 0 262613853 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=867484 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=867484 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 888303616 154996 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 872836
[startup+102.503 s]
/proc/loadavg: 2.13 1.69 1.35 4/102 25898
/proc/meminfo: memFree=369680/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=869632 CPUtime=102.4
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 158599 0 1 0 10080 160 0 0 25 0 8 0 262613846 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074232546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 217408 157122 1834 14 0 204669 0
[pid=25891/tid=25892] ppid=25888 vsize=869632 CPUtime=9.22
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 140898 0 0 0 859 63 0 0 16 0 8 0 262613849 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=869632 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=869632 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=869632 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=869632 CPUtime=3.39
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 2925 0 0 0 322 17 0 0 15 0 8 0 262613853 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=869632 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=869632 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 890503168 157122 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 874984
[startup+162.513 s]
/proc/loadavg: 2.05 1.75 1.39 3/102 25898
/proc/meminfo: memFree=346832/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=873200 CPUtime=162.39
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 161375 0 1 0 16059 180 0 0 25 0 8 0 262613846 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4088683716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 218300 159898 1834 14 0 205561 0
[pid=25891/tid=25892] ppid=25888 vsize=873200 CPUtime=9.22
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 140898 0 0 0 859 63 0 0 16 0 8 0 262613849 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=873200 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=873200 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=873200 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=873200 CPUtime=6.64
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 5665 0 0 0 632 32 0 0 15 0 8 0 262613853 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=873200 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=873200 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 894156800 159898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 878552
[startup+222.546 s]
/proc/loadavg: 2.19 1.84 1.44 3/102 25898
/proc/meminfo: memFree=324176/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=876772 CPUtime=222.4
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 164158 0 1 0 22044 196 0 0 25 0 8 0 262613846 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096257812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 219193 162681 1834 14 0 206454 0
[pid=25891/tid=25892] ppid=25888 vsize=876772 CPUtime=9.22
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 140898 0 0 0 859 63 0 0 16 0 8 0 262613849 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25893] ppid=25888 vsize=876772 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=876772 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=876772 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=876772 CPUtime=9.96
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 8408 0 0 0 951 45 0 0 15 0 8 0 262613853 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25897] ppid=25888 vsize=876772 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=876772 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 897814528 162681 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.4
Current children cumulated vsize (KiB) 882124
[startup+282.567 s]
/proc/loadavg: 2.20 1.90 1.48 2/89 25911
/proc/meminfo: memFree=963128/2055920 swapFree=4173628/4192956
[pid=25888] ppid=25886 vsize=5352 CPUtime=0
/proc/25888/stat : 25888 (cspfj.sh) S 25886 25888 25600 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262613845 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25888/statm: 1338 240 201 169 0 49 0
[pid=25891] ppid=25888 vsize=880336 CPUtime=282.39
/proc/25891/stat : 25891 (java) R 25888 25888 25600 0 -1 0 166902 0 1 0 28025 214 0 0 16 0 8 0 262613846 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4103725386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25891/statm: 220084 165425 1834 14 0 207345 0
[pid=25891/tid=25892] ppid=25888 vsize=880336 CPUtime=9.22
/proc/25891/task/25892/stat : 25892 (java) S 25888 25888 25600 0 -1 64 140898 0 0 0 859 63 0 0 16 0 8 0 262613849 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25891/tid=25893] ppid=25888 vsize=880336 CPUtime=0
/proc/25891/task/25893/stat : 25893 (java) S 25888 25888 25600 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 262613850 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25894] ppid=25888 vsize=880336 CPUtime=0
/proc/25891/task/25894/stat : 25894 (java) S 25888 25888 25600 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262613850 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25895] ppid=25888 vsize=880336 CPUtime=0
/proc/25891/task/25895/stat : 25895 (java) S 25888 25888 25600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262613853 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25896] ppid=25888 vsize=880336 CPUtime=13.18
/proc/25891/task/25896/stat : 25896 (java) S 25888 25888 25600 0 -1 64 11118 0 0 0 1259 59 0 0 16 0 8 0 262613853 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25891/tid=25897] ppid=25888 vsize=880336 CPUtime=0
/proc/25891/task/25897/stat : 25897 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262613853 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25891/tid=25898] ppid=25888 vsize=880336 CPUtime=0
/proc/25891/task/25898/stat : 25898 (java) S 25888 25888 25600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262613853 901464064 165425 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.39
Current children cumulated vsize (KiB) 885688
Child status: 0
Real time (s): 297.268
CPU time (s): 297.089
CPU user time (s): 294.786
CPU system time (s): 2.30265
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 888088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.786
system time used= 2.30265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172319
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53519
involuntary context switches= 57419
runsolver used 0.369943 s user time and 1.00585 s system time
The end
Begin job on node15 on Thu Jan 18 17:43:10 UTC 2007
IDJOB= 270324
IDBENCH= 3768
IDSOLVER= 91
FILE ID= node15/270324-1169142190
PBS_JOBID= 3582531
Free space on /tmp= 66560 MiB
SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
COMMAND LINE= /tmp/evaluation/270324-1169142190/cspfj.sh -competition /tmp/evaluation/270324-1169142190/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-270324-1169142190 -o ROOT/results/node15/solver-270324-1169142190 -C 1800 -M 900 /tmp/evaluation/270324-1169142190/cspfj.sh -competition /tmp/evaluation/270324-1169142190/unknown.xml
META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH= 9f6fab3cbce8258078edbda9a5e9d13f
RANDOM SEED= 842827724
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.276
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.276
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: 1486768 kB
Buffers: 45644 kB
Cached: 285428 kB
SwapCached: 5936 kB
Active: 265552 kB
Inactive: 230616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1486768 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 4656 kB
Writeback: 0 kB
Mapped: 182596 kB
Slab: 57320 kB
Committed_AS: 7961188 kB
PageTables: 2724 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= 66559 MiB
End job on node15 on Thu Jan 18 17:48:07 UTC 2007