runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4246031-1500686470/watcher-4246031-1500686470 -o /tmp/evaluation-result-4246031-1500686470/solver-4246031-1500686470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 676334239 HOME/instance-4246031-1500686470.xml
pid=7980
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 11.23 14.49 14.88 10/271 7983
/proc/meminfo: memFree=28268312/32770624 swapFree=5900/237884
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
[startup+0.100074 s]
/proc/loadavg: 11.23 14.49 14.88 10/271 7983
/proc/meminfo: memFree=28268312/32770624 swapFree=5900/237884
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200319 s]
/proc/loadavg: 11.23 14.49 14.88 10/271 7983
/proc/meminfo: memFree=28268312/32770624 swapFree=5900/237884
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300224 s]
/proc/loadavg: 11.23 14.49 14.88 10/271 7983
/proc/meminfo: memFree=28268312/32770624 swapFree=5900/237884
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 11.23 14.49 14.88 10/271 7983
/proc/meminfo: memFree=28268312/32770624 swapFree=5900/237884
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 11.23 14.49 14.88 6/293 8005
/proc/meminfo: memFree=28030684/32770624 swapFree=5900/240780
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
[pid=7984] ppid=7983 vsize=13801768 CPUtime=6.37 cores=0,2,4,6,8,10,12,14
/proc/7984/stat : 7984 (java) S 7983 7983 16913 0 -1 1077944320 15916 0 0 0 599 38 0 0 20 0 28 0 3913927 14133010432 61913 33554432000 4194304 4196468 140722200993136 140722200975680 140705182109431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
/proc/7984/statm: 3450442 61913 3244 1 0 3437675 0
[pid=7984/tid=7985] ppid=7983 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7985/stat : 7985 (java) S 7983 7983 16913 0 -1 1077944384 6971 0 0 0 101 5 0 0 20 0 28 0 3913927 14133010432 61913 33554432000 4194304 4196468 140722200993136 140705186350208 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7987] ppid=7983 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7987/stat : 7987 (java) S 7983 7983 16913 0 -1 1077944384 60 0 0 0 4 4 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140705143069840 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7988] ppid=7983 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7988/stat : 7988 (java) S 7983 7983 16913 0 -1 1077944384 35 0 0 0 4 3 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704780631056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7989] ppid=7983 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7989/stat : 7989 (java) S 7983 7983 16913 0 -1 1077944384 37 0 0 0 4 4 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704779578256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7990] ppid=7983 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7990/stat : 7990 (java) S 7983 7983 16913 0 -1 1077944384 38 0 0 0 5 3 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704778525456 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7991] ppid=7983 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7991/stat : 7991 (java) S 7983 7983 16913 0 -1 1077944384 55 0 0 0 4 4 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704777472656 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7992] ppid=7983 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7992/stat : 7992 (java) S 7983 7983 16913 0 -1 1077944384 57 0 0 0 4 4 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704776419856 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7993] ppid=7983 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7993/stat : 7993 (java) S 7983 7983 16913 0 -1 1077944384 46 0 0 0 4 3 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704775367056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7994] ppid=7983 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7994/stat : 7994 (java) S 7983 7983 16913 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 28 0 3913928 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704774314256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7995] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7995/stat : 7995 (java) S 7983 7983 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3913930 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704644475760 140705182120578 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7996] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7996/stat : 7996 (java) S 7983 7983 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704643421728 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7997] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7997/stat : 7997 (java) S 7983 7983 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704642368880 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7998] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7998/stat : 7998 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704641317200 140705182128027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7999] ppid=7983 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7999/stat : 7999 (java) R 7983 7983 16913 0 -1 4202560 1772 0 0 0 78 0 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704640245552 140705165609824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8000] ppid=7983 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8000/stat : 8000 (java) R 7983 7983 16913 0 -1 4202560 1360 0 0 0 78 0 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704639197784 140705167217443 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8001] ppid=7983 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8001/stat : 8001 (java) R 7983 7983 16913 0 -1 4202560 1367 0 0 0 78 0 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704638148768 140705159966593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8002] ppid=7983 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8002/stat : 8002 (java) S 7983 7983 16913 0 -1 1077944384 2388 0 0 0 64 1 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704637106160 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8003] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8003/stat : 8003 (java) S 7983 7983 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704636054624 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8004] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8004/stat : 8004 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 61913 33554432000 4194304 4196468 140722200993136 140704635001904 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 13811280
[startup+3.10164 s]
/proc/loadavg: 11.23 14.49 14.88 13/301 8013
/proc/meminfo: memFree=27952552/32770624 swapFree=5900/243024
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
[pid=7984] ppid=7983 vsize=13801768 CPUtime=19.06 cores=0,2,4,6,8,10,12,14
/proc/7984/stat : 7984 (java) S 7983 7983 16913 0 -1 1077944320 21101 0 0 0 1840 66 0 0 20 0 28 0 3913927 14133010432 82532 33554432000 4194304 4196468 140722200993136 140722200975680 140705182109431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
/proc/7984/statm: 3450442 82532 3265 1 0 3437675 0
[pid=7984/tid=7985] ppid=7983 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7985/stat : 7985 (java) S 7983 7983 16913 0 -1 1077944384 6971 0 0 0 101 5 0 0 20 0 28 0 3913927 14133010432 82532 33554432000 4194304 4196468 140722200993136 140705186350208 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7987] ppid=7983 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7987/stat : 7987 (java) S 7983 7983 16913 0 -1 1077944384 91 0 0 0 7 6 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140705143069840 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7988] ppid=7983 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7988/stat : 7988 (java) S 7983 7983 16913 0 -1 1077944384 80 0 0 0 8 7 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704780631056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7989] ppid=7983 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7989/stat : 7989 (java) S 7983 7983 16913 0 -1 1077944384 68 0 0 0 8 7 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704779578256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7990] ppid=7983 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7990/stat : 7990 (java) S 7983 7983 16913 0 -1 1077944384 59 0 0 0 8 6 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704778525456 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7991] ppid=7983 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7991/stat : 7991 (java) S 7983 7983 16913 0 -1 1077944384 75 0 0 0 7 6 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704777472656 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7992] ppid=7983 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7992/stat : 7992 (java) S 7983 7983 16913 0 -1 1077944384 88 0 0 0 8 7 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704776419856 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7993] ppid=7983 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7993/stat : 7993 (java) S 7983 7983 16913 0 -1 1077944384 73 0 0 0 7 7 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704775367056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7994] ppid=7983 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7994/stat : 7994 (java) S 7983 7983 16913 0 -1 1077944384 60 0 0 0 6 5 0 0 20 0 28 0 3913928 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704774314256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7995] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7995/stat : 7995 (java) S 7983 7983 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3913930 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704644475760 140705182120578 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7996] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7996/stat : 7996 (java) S 7983 7983 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704643421792 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7997] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7997/stat : 7997 (java) S 7983 7983 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704642368896 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7998] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7998/stat : 7998 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704641317200 140705182128027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7999] ppid=7983 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7999/stat : 7999 (java) R 7983 7983 16913 0 -1 4202560 3388 0 0 0 171 1 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704640250048 140705165520232 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8000] ppid=7983 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8000/stat : 8000 (java) R 7983 7983 16913 0 -1 4202560 2635 0 0 0 162 0 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704639203104 140705162690526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8001] ppid=7983 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8001/stat : 8001 (java) R 7983 7983 16913 0 -1 4202560 2318 0 0 0 159 0 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704638140160 140705166509145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8002] ppid=7983 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8002/stat : 8002 (java) S 7983 7983 16913 0 -1 1077944384 2757 0 0 0 87 1 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704637106160 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8003] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8003/stat : 8003 (java) S 7983 7983 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704636054624 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8004] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8004/stat : 8004 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704635001904 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8006] ppid=7983 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8006/stat : 8006 (java) R 7983 7983 16913 0 -1 4202560 237 0 0 0 119 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704626986936 140704826210412 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8007] ppid=7983 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8007/stat : 8007 (java) R 7983 7983 16913 0 -1 4202560 53 0 0 0 123 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704625935120 140704825050606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8008] ppid=7983 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8008/stat : 8008 (java) R 7983 7983 16913 0 -1 4202560 129 0 0 0 154 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704624882344 140704825051245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8009] ppid=7983 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8009/stat : 8009 (java) R 7983 7983 16913 0 -1 4202560 290 0 0 0 128 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704623829488 140704826066731 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8010] ppid=7983 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8010/stat : 8010 (java) R 7983 7983 16913 0 -1 4202560 91 0 0 0 145 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704622778328 140704826454080 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8011] ppid=7983 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8011/stat : 8011 (java) R 7983 7983 16913 0 -1 4202560 69 0 0 0 129 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704621723920 140704825050867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8012] ppid=7983 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8012/stat : 8012 (java) R 7983 7983 16913 0 -1 4202560 103 0 0 0 144 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704620672312 140704824857615 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8013] ppid=7983 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8013/stat : 8013 (java) R 7983 7983 16913 0 -1 4202560 92 0 0 0 149 0 0 0 20 0 28 0 3914044 14133010432 82532 33554432000 4194304 4196468 140722200993136 140704619619416 140704826211200 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 13811280
[startup+6.30154 s]
/proc/loadavg: 10.97 14.38 14.85 10/301 8013
/proc/meminfo: memFree=27426168/32770624 swapFree=5900/245968
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
[pid=7984] ppid=7983 vsize=13801768 CPUtime=44.41 cores=0,2,4,6,8,10,12,14
/proc/7984/stat : 7984 (java) S 7983 7983 16913 0 -1 1077944320 26043 0 0 0 4352 89 0 0 20 0 28 0 3913927 14133010432 120241 33554432000 4194304 4196468 140722200993136 140722200975680 140705182109431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
/proc/7984/statm: 3450442 120241 3271 1 0 3437675 0
[pid=7984/tid=7985] ppid=7983 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7985/stat : 7985 (java) S 7983 7983 16913 0 -1 1077944384 6971 0 0 0 101 5 0 0 20 0 28 0 3913927 14133010432 120241 33554432000 4194304 4196468 140722200993136 140705186350208 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7987] ppid=7983 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7987/stat : 7987 (java) S 7983 7983 16913 0 -1 1077944384 138 0 0 0 11 9 0 0 20 0 28 0 3913928 14133010432 120241 33554432000 4194304 4196468 140722200993136 140705143069840 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7988] ppid=7983 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7988/stat : 7988 (java) S 7983 7983 16913 0 -1 1077944384 119 0 0 0 12 10 0 0 20 0 28 0 3913928 14133010432 120241 33554432000 4194304 4196468 140722200993136 140704780631056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7989] ppid=7983 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7989/stat : 7989 (java) S 7983 7983 16913 0 -1 1077944384 102 0 0 0 12 9 0 0 20 0 28 0 3913928 14133010432 120241 33554432000 4194304 4196468 140722200993136 140704779578256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7990] ppid=7983 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7990/stat : 7990 (java) S 7983 7983 16913 0 -1 1077944384 94 0 0 0 12 8 0 0 20 0 28 0 3913928 14133010432 120241 33554432000 4194304 4196468 140722200993136 140704778525456 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
################
# More data... #
################
/proc/7984/task/7996/stat : 7996 (java) S 7983 7983 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704643421792 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7997] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7997/stat : 7997 (java) S 7983 7983 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704642368896 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7998] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7998/stat : 7998 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704641317200 140705182128027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7999] ppid=7983 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7999/stat : 7999 (java) S 7983 7983 16913 0 -1 1077944384 4535 0 0 0 207 1 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704640264560 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8000] ppid=7983 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8000/stat : 8000 (java) S 7983 7983 16913 0 -1 1077944384 3331 0 0 0 194 1 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704639211760 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8001] ppid=7983 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8001/stat : 8001 (java) S 7983 7983 16913 0 -1 1077944384 3494 0 0 0 205 0 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704638158960 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8002] ppid=7983 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8002/stat : 8002 (java) S 7983 7983 16913 0 -1 1077944384 2860 0 0 0 90 1 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704637106160 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8003] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8003/stat : 8003 (java) S 7983 7983 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704636054624 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8004] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8004/stat : 8004 (java) S 7983 7983 16913 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704635001904 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8006] ppid=7983 vsize=13801768 CPUtime=7.25 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8006/stat : 8006 (java) R 7983 7983 16913 0 -1 4202560 344 0 0 0 725 0 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704626986904 140704826207856 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8007] ppid=7983 vsize=13801768 CPUtime=7.47 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8007/stat : 8007 (java) R 7983 7983 16913 0 -1 4202560 290 0 0 0 747 0 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704625934616 140704825989314 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8008] ppid=7983 vsize=13801768 CPUtime=7.78 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8008/stat : 8008 (java) R 7983 7983 16913 0 -1 4202560 433 0 0 0 776 2 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704624882472 140704826324660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8009] ppid=7983 vsize=13801768 CPUtime=7.39 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8009/stat : 8009 (java) R 7983 7983 16913 0 -1 4202560 978 0 0 0 735 4 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704623829080 140704827078790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8010] ppid=7983 vsize=13801768 CPUtime=7.52 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8010/stat : 8010 (java) R 7983 7983 16913 0 -1 4202560 186 0 0 0 752 0 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704622776216 140704826211303 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8011] ppid=7983 vsize=13801768 CPUtime=7.59 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8011/stat : 8011 (java) R 7983 7983 16913 0 -1 4202560 122 0 0 0 759 0 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704621723416 140704825050867 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8012] ppid=7983 vsize=13801768 CPUtime=7.8 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8012/stat : 8012 (java) R 7983 7983 16913 0 -1 4202560 397 0 0 0 780 0 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704620671640 140704826207820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8013] ppid=7983 vsize=13801768 CPUtime=7.66 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8013/stat : 8013 (java) R 7983 7983 16913 0 -1 4202560 215 0 0 0 766 0 0 0 20 0 28 0 3914044 14133010432 177395 33554432000 4194304 4196468 140722200993136 140704619618856 140704825403651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
Current children cumulated CPU time (s) 70.63
Current children cumulated vsize (KiB) 13811280
[startup+10.0189 s]
/proc/loadavg: 10.89 14.31 14.82 10/302 8014
/proc/meminfo: memFree=26983992/32770624 swapFree=5900/253272
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
[pid=7984] ppid=7983 vsize=13801768 CPUtime=73.92 cores=0,2,4,6,8,10,12,14
/proc/7984/stat : 7984 (java) S 7983 7983 16913 0 -1 1077944320 30093 0 0 0 7282 110 0 0 20 0 28 0 3913927 14133010432 184058 33554432000 4194304 4196468 140722200993136 140722200975680 140705182109431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
/proc/7984/statm: 3450442 184058 3272 1 0 3437675 0
[pid=7984/tid=7985] ppid=7983 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7985/stat : 7985 (java) S 7983 7983 16913 0 -1 1077944384 6971 0 0 0 101 5 0 0 20 0 28 0 3913927 14133010432 184058 33554432000 4194304 4196468 140722200993136 140705186350208 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7987] ppid=7983 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7987/stat : 7987 (java) S 7983 7983 16913 0 -1 1077944384 262 0 0 0 14 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140705143069840 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7988] ppid=7983 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7988/stat : 7988 (java) S 7983 7983 16913 0 -1 1077944384 178 0 0 0 17 12 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704780631056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7989] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7989/stat : 7989 (java) S 7983 7983 16913 0 -1 1077944384 1019 0 0 0 17 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704779578256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7990] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7990/stat : 7990 (java) S 7983 7983 16913 0 -1 1077944384 148 0 0 0 18 10 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704778525456 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7991] ppid=7983 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7991/stat : 7991 (java) S 7983 7983 16913 0 -1 1077944384 174 0 0 0 16 10 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704777472656 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7992] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7992/stat : 7992 (java) S 7983 7983 16913 0 -1 1077944384 1048 0 0 0 17 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704776419856 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7993] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7993/stat : 7993 (java) S 7983 7983 16913 0 -1 1077944384 381 0 0 0 17 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704775367056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7994] ppid=7983 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7994/stat : 7994 (java) S 7983 7983 16913 0 -1 1077944384 268 0 0 0 16 9 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704774314256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7995] ppid=7983 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7995/stat : 7995 (java) S 7983 7983 16913 0 -1 1077944384 973 0 0 0 2 1 0 0 20 0 28 0 3913930 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704644475760 140705182120578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7996] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7996/stat : 7996 (java) S 7983 7983 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704643421792 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7997] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7997/stat : 7997 (java) S 7983 7983 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704642368896 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7998] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7998/stat : 7998 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704641317200 140705182128027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7999] ppid=7983 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7999/stat : 7999 (java) S 7983 7983 16913 0 -1 1077944384 4535 0 0 0 207 1 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704640264560 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8000] ppid=7983 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8000/stat : 8000 (java) S 7983 7983 16913 0 -1 1077944384 3331 0 0 0 194 1 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704639211760 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8001] ppid=7983 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8001/stat : 8001 (java) S 7983 7983 16913 0 -1 1077944384 3494 0 0 0 205 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704638158960 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8002] ppid=7983 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8002/stat : 8002 (java) S 7983 7983 16913 0 -1 1077944384 2860 0 0 0 90 1 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704637106160 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8003] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8003/stat : 8003 (java) S 7983 7983 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704636054624 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8004] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8004/stat : 8004 (java) S 7983 7983 16913 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704635001904 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8006] ppid=7983 vsize=13801768 CPUtime=7.63 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8006/stat : 8006 (java) R 7983 7983 16913 0 -1 4202560 347 0 0 0 763 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704626986328 140704825989048 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8007] ppid=7983 vsize=13801768 CPUtime=7.84 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8007/stat : 8007 (java) R 7983 7983 16913 0 -1 4202560 290 0 0 0 784 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704625934616 140704825484031 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8008] ppid=7983 vsize=13801768 CPUtime=8.16 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8008/stat : 8008 (java) R 7983 7983 16913 0 -1 4202560 442 0 0 0 814 2 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704624881816 140704823139793 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8009] ppid=7983 vsize=13801768 CPUtime=7.77 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8009/stat : 8009 (java) R 7983 7983 16913 0 -1 4202560 1024 0 0 0 773 4 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704623831840 140704827078815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8010] ppid=7983 vsize=13801768 CPUtime=7.89 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8010/stat : 8010 (java) R 7983 7983 16913 0 -1 4202560 204 0 0 0 789 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704622776072 140704825332402 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8011] ppid=7983 vsize=13801768 CPUtime=7.96 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8011/stat : 8011 (java) R 7983 7983 16913 0 -1 4202560 122 0 0 0 796 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704621723416 140704826207773 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8012] ppid=7983 vsize=13801768 CPUtime=8.17 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8012/stat : 8012 (java) R 7983 7983 16913 0 -1 4202560 421 0 0 0 817 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704620671752 140704824857443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8013] ppid=7983 vsize=13801768 CPUtime=8.04 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8013/stat : 8013 (java) R 7983 7983 16913 0 -1 4202560 232 0 0 0 804 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704619618824 140704825403625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
Current children cumulated CPU time (s) 73.92
Current children cumulated vsize (KiB) 13811280
[startup+10.4014 s]
/proc/loadavg: 10.89 14.31 14.82 10/302 8014
/proc/meminfo: memFree=26983992/32770624 swapFree=5900/253272
[pid=7983] ppid=7980 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7983/stat : 7983 (xcsp3-exec) S 7980 7983 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3913926 9740288 345 33554432000 4194304 5098028 140737278377456 140737278375560 140125828784764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 11325440 140737278379151 140737278379360 140737278379360 140737278382059 0
/proc/7983/statm: 2378 345 289 221 0 87 0
[pid=7984] ppid=7983 vsize=13801768 CPUtime=76.97 cores=0,2,4,6,8,10,12,14
/proc/7984/stat : 7984 (java) S 7983 7983 16913 0 -1 1077944320 30172 0 0 0 7587 110 0 0 20 0 28 0 3913927 14133010432 184058 33554432000 4194304 4196468 140722200993136 140722200975680 140705182109431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
/proc/7984/statm: 3450442 184058 3272 1 0 3437675 0
[pid=7984/tid=7985] ppid=7983 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7985/stat : 7985 (java) S 7983 7983 16913 0 -1 1077944384 6971 0 0 0 101 5 0 0 20 0 28 0 3913927 14133010432 184058 33554432000 4194304 4196468 140722200993136 140705186350208 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7987] ppid=7983 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7987/stat : 7987 (java) S 7983 7983 16913 0 -1 1077944384 262 0 0 0 14 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140705143069840 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7988] ppid=7983 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7988/stat : 7988 (java) S 7983 7983 16913 0 -1 1077944384 178 0 0 0 17 12 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704780631056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7989] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7989/stat : 7989 (java) S 7983 7983 16913 0 -1 1077944384 1019 0 0 0 17 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704779578256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7990] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7990/stat : 7990 (java) S 7983 7983 16913 0 -1 1077944384 148 0 0 0 18 10 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704778525456 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7991] ppid=7983 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7991/stat : 7991 (java) S 7983 7983 16913 0 -1 1077944384 174 0 0 0 16 10 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704777472656 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7992] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7992/stat : 7992 (java) S 7983 7983 16913 0 -1 1077944384 1048 0 0 0 17 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704776419856 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7993] ppid=7983 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7993/stat : 7993 (java) S 7983 7983 16913 0 -1 1077944384 381 0 0 0 17 11 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704775367056 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7994] ppid=7983 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7994/stat : 7994 (java) S 7983 7983 16913 0 -1 1077944384 268 0 0 0 16 9 0 0 20 0 28 0 3913928 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704774314256 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7995] ppid=7983 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7995/stat : 7995 (java) S 7983 7983 16913 0 -1 1077944384 973 0 0 0 2 1 0 0 20 0 28 0 3913930 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704644475760 140705182120578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7996] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7996/stat : 7996 (java) S 7983 7983 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704643421792 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7997] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7997/stat : 7997 (java) S 7983 7983 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3913931 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704642368896 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7998] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7998/stat : 7998 (java) S 7983 7983 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704641317200 140705182128027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=7999] ppid=7983 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/7984/task/7999/stat : 7999 (java) S 7983 7983 16913 0 -1 1077944384 4535 0 0 0 207 1 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704640264560 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8000] ppid=7983 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8000/stat : 8000 (java) S 7983 7983 16913 0 -1 1077944384 3331 0 0 0 194 1 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704639211760 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8001] ppid=7983 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8001/stat : 8001 (java) S 7983 7983 16913 0 -1 1077944384 3494 0 0 0 205 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704638158960 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8002] ppid=7983 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8002/stat : 8002 (java) S 7983 7983 16913 0 -1 1077944384 2860 0 0 0 90 1 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704637106160 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8003] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8003/stat : 8003 (java) S 7983 7983 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704636054624 140705182119637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8004] ppid=7983 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8004/stat : 8004 (java) S 7983 7983 16913 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3913936 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704635001904 140705182120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8006] ppid=7983 vsize=13801768 CPUtime=8.01 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8006/stat : 8006 (java) R 7983 7983 16913 0 -1 4202560 356 0 0 0 801 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704626986328 140704826207848 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8007] ppid=7983 vsize=13801768 CPUtime=8.23 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8007/stat : 8007 (java) R 7983 7983 16913 0 -1 4202560 299 0 0 0 823 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704625934616 140704826207788 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8008] ppid=7983 vsize=13801768 CPUtime=8.54 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8008/stat : 8008 (java) R 7983 7983 16913 0 -1 4202560 453 0 0 0 852 2 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704624881816 140704825440137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8009] ppid=7983 vsize=13801768 CPUtime=8.15 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8009/stat : 8009 (java) R 7983 7983 16913 0 -1 4202560 1051 0 0 0 811 4 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704623831840 140704827078790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8010] ppid=7983 vsize=13801768 CPUtime=8.27 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8010/stat : 8010 (java) R 7983 7983 16913 0 -1 4202560 207 0 0 0 827 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704622776072 140704826211243 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8011] ppid=7983 vsize=13801768 CPUtime=8.35 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8011/stat : 8011 (java) R 7983 7983 16913 0 -1 4202560 127 0 0 0 835 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704621723416 140704826207722 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8012] ppid=7983 vsize=13801768 CPUtime=8.55 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8012/stat : 8012 (java) R 7983 7983 16913 0 -1 4202560 426 0 0 0 855 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704620671752 140704826454101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
[pid=7984/tid=8013] ppid=7983 vsize=13801768 CPUtime=8.42 cores=0,2,4,6,8,10,12,14
/proc/7984/task/8013/stat : 8013 (java) R 7983 7983 16913 0 -1 4202560 242 0 0 0 842 0 0 0 20 0 28 0 3914044 14133010432 184058 33554432000 4194304 4196468 140722200993136 140704619618824 140704825403651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33378304 140722200999100 140722200999276 140722200999276 140722201001935 0
Current children cumulated CPU time (s) 76.97
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 10.4786
CPU time (s): 77.4377
CPU user time (s): 76.3221
CPU system time (s): 1.11563
CPU usage (%): 739.01
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.3221
system time used= 1.11563
maximum resident set size= 736428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4130
involuntary context switches= 5573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113391 second user time and 0.167344 second system time
The end