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-4250040-1500696021/watcher-4250040-1500696021 -o /tmp/evaluation-result-4250040-1500696021/solver-4250040-1500696021 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 711822349 HOME/instance-4250040-1500696021.xml
pid=12437
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: 4.26 8.28 11.60 2/262 12440
/proc/meminfo: memFree=23219264/32770624 swapFree=5892/131584
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[startup+0.100061 s]
/proc/loadavg: 4.26 8.28 11.60 2/262 12440
/proc/meminfo: memFree=23219264/32770624 swapFree=5892/131584
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20029 s]
/proc/loadavg: 4.26 8.28 11.60 2/262 12440
/proc/meminfo: memFree=23219264/32770624 swapFree=5892/131584
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30032 s]
/proc/loadavg: 4.26 8.28 11.60 2/262 12440
/proc/meminfo: memFree=23219264/32770624 swapFree=5892/131584
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700192 s]
/proc/loadavg: 4.26 8.28 11.60 2/262 12440
/proc/meminfo: memFree=23219264/32770624 swapFree=5892/131584
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50143 s]
/proc/loadavg: 4.26 8.28 11.60 3/283 12461
/proc/meminfo: memFree=22835392/32770624 swapFree=5892/131640
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=13267208 CPUtime=6.66 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) S 12440 12440 15667 0 -1 1077944320 27883 0 0 0 380 286 0 0 20 0 20 0 4871826 13585620992 205496 33554432000 4194304 4196468 140721196529184 140721196511728 140082056695543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
/proc/12441/statm: 3316802 205496 3244 1 0 3304035 0
[pid=12441/tid=12442] ppid=12440 vsize=13267208 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12442/stat : 12442 (java) S 12440 12440 15667 0 -1 1077944384 6564 0 0 0 85 6 0 0 20 0 20 0 4871827 13585620992 205496 33554432000 4194304 4196468 140721196529184 140082060933520 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12444] ppid=12440 vsize=13267208 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12444/stat : 12444 (java) R 12440 12440 15667 0 -1 4202560 1942 0 0 0 18 33 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081975176328 140082049795224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12445] ppid=12440 vsize=13267208 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12445/stat : 12445 (java) R 12440 12440 15667 0 -1 4202560 1801 0 0 0 19 33 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081974123784 140082049323751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12446] ppid=12440 vsize=13267208 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12446/stat : 12446 (java) R 12440 12440 15667 0 -1 4202560 1926 0 0 0 18 35 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081973070728 140082041396451 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12447] ppid=12440 vsize=13267208 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12447/stat : 12447 (java) R 12440 12440 15667 0 -1 4202560 2069 0 0 0 17 33 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081972018184 140082049795199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12448] ppid=12440 vsize=13267208 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4202560 1691 0 0 0 17 33 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081970965128 140082049795215 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12449] ppid=12440 vsize=13267208 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12449/stat : 12449 (java) R 12440 12440 15667 0 -1 4202560 1944 0 0 0 17 36 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081650199304 140082049323751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12450] ppid=12440 vsize=13267208 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12450/stat : 12450 (java) R 12440 12440 15667 0 -1 4202560 2029 0 0 0 17 36 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081649146248 140082049795316 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12451] ppid=12440 vsize=13267208 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12451/stat : 12451 (java) R 12440 12440 15667 0 -1 4202560 1965 0 0 0 18 33 0 0 20 0 20 0 4871828 13585620992 205496 33554432000 4194304 4196468 140721196529184 140081648093704 140082049795207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12452] ppid=12440 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12452/stat : 12452 (java) S 12440 12440 15667 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 4871830 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080721442112 140082056705749 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12453] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12453/stat : 12453 (java) S 12440 12440 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4871830 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080720389792 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12454] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12454/stat : 12454 (java) S 12440 12440 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4871831 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080719336688 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12455] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12455/stat : 12455 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871834 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080718285264 140082056714139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12456] ppid=12440 vsize=13267208 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12456/stat : 12456 (java) S 12440 12440 15667 0 -1 1077944384 1529 0 0 0 47 0 0 0 20 0 20 0 4871834 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080717232368 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12457] ppid=12440 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12457/stat : 12457 (java) S 12440 12440 15667 0 -1 1077944384 566 0 0 0 33 0 0 0 20 0 20 0 4871834 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080716179824 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12458] ppid=12440 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12458/stat : 12458 (java) S 12440 12440 15667 0 -1 1077944384 890 0 0 0 33 0 0 0 20 0 20 0 4871834 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080715126768 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12459] ppid=12440 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12459/stat : 12459 (java) S 12440 12440 15667 0 -1 1077944384 1451 0 0 0 34 0 0 0 20 0 20 0 4871834 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080714074224 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12460] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12460/stat : 12460 (java) S 12440 12440 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871835 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080713022432 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12461] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12461/stat : 12461 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871835 13585620992 205496 33554432000 4194304 4196468 140721196529184 140080711969968 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 13276720
[startup+3.10095 s]
/proc/loadavg: 4.08 8.18 11.54 3/283 12461
/proc/meminfo: memFree=22120256/32770624 swapFree=5892/131640
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=13267208 CPUtime=16.88 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) S 12440 12440 15667 0 -1 1077944320 47299 0 0 0 926 762 0 0 20 0 20 0 4871826 13585620992 447592 33554432000 4194304 4196468 140721196529184 140721196511728 140082056695543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
/proc/12441/statm: 3316802 447592 3248 1 0 3304035 0
[pid=12441/tid=12442] ppid=12440 vsize=13267208 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12442/stat : 12442 (java) S 12440 12440 15667 0 -1 1077944384 6780 0 0 0 115 9 0 0 20 0 20 0 4871827 13585620992 447592 33554432000 4194304 4196468 140721196529184 140082060933520 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12444] ppid=12440 vsize=13267208 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12444/stat : 12444 (java) R 12440 12440 15667 0 -1 4202560 2607 0 0 0 83 92 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081975176328 140082049323751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12445] ppid=12440 vsize=13267208 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12445/stat : 12445 (java) R 12440 12440 15667 0 -1 4202560 3877 0 0 0 82 92 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081974123784 140082049323751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12446] ppid=12440 vsize=13267208 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12446/stat : 12446 (java) R 12440 12440 15667 0 -1 4202560 4832 0 0 0 83 95 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081973070728 140082049323751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12447] ppid=12440 vsize=13267208 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12447/stat : 12447 (java) R 12440 12440 15667 0 -1 4202560 4748 0 0 0 82 91 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081972018184 140082049323751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12448] ppid=12440 vsize=13267208 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4202560 3995 0 0 0 81 90 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081970965208 140082049795211 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12449] ppid=12440 vsize=13267208 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12449/stat : 12449 (java) R 12440 12440 15667 0 -1 4202560 3693 0 0 0 81 97 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081650199304 140082049323751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12450] ppid=12440 vsize=13267208 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12450/stat : 12450 (java) R 12440 12440 15667 0 -1 4202560 4652 0 0 0 82 95 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081649146248 140082049323751 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12451] ppid=12440 vsize=13267208 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12451/stat : 12451 (java) R 12440 12440 15667 0 -1 4202560 4728 0 0 0 81 93 0 0 20 0 20 0 4871828 13585620992 447592 33554432000 4194304 4196468 140721196529184 140081648093704 140082049323751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12452] ppid=12440 vsize=13267208 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12452/stat : 12452 (java) S 12440 12440 15667 0 -1 1077944384 1647 0 0 0 2 0 0 0 20 0 20 0 4871830 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080721442112 140082056705749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12453] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12453/stat : 12453 (java) S 12440 12440 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4871830 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080720389792 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12454] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12454/stat : 12454 (java) S 12440 12440 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4871831 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080719336688 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12455] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12455/stat : 12455 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871834 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080718285264 140082056714139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12456] ppid=12440 vsize=13267208 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12456/stat : 12456 (java) S 12440 12440 15667 0 -1 1077944384 1529 0 0 0 47 0 0 0 20 0 20 0 4871834 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080717232368 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12457] ppid=12440 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12457/stat : 12457 (java) S 12440 12440 15667 0 -1 1077944384 566 0 0 0 33 0 0 0 20 0 20 0 4871834 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080716179824 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12458] ppid=12440 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12458/stat : 12458 (java) S 12440 12440 15667 0 -1 1077944384 890 0 0 0 33 0 0 0 20 0 20 0 4871834 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080715126768 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12459] ppid=12440 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12459/stat : 12459 (java) S 12440 12440 15667 0 -1 1077944384 1458 0 0 0 35 0 0 0 20 0 20 0 4871834 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080714074224 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12460] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12460/stat : 12460 (java) S 12440 12440 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871835 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080713022432 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12461] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12461/stat : 12461 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871835 13585620992 447592 33554432000 4194304 4196468 140721196529184 140080711969968 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
Current children cumulated CPU time (s) 16.88
Current children cumulated vsize (KiB) 13276720
[startup+6.30101 s]
/proc/loadavg: 4.08 8.18 11.54 10/283 12461
/proc/meminfo: memFree=19658668/32770624 swapFree=5892/131648
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=13267208 CPUtime=38.23 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) S 12440 12440 15667 0 -1 1077944320 76269 0 0 0 1984 1839 0 0 20 0 20 0 4871826 13585620992 983090 33554432000 4194304 4196468 140721196529184 140721196511728 140082056695543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
/proc/12441/statm: 3316802 983090 3249 1 0 3304035 0
[pid=12441/tid=12442] ppid=12440 vsize=13267208 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12442/stat : 12442 (java) S 12440 12440 15667 0 -1 1077944384 7354 0 0 0 167 12 0 0 20 0 20 0 4871827 13585620992 983090 33554432000 4194304 4196468 140721196529184 140082060933520 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12444] ppid=12440 vsize=13267208 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12444/stat : 12444 (java) R 12440 12440 15667 0 -1 4202560 6451 0 0 0 208 229 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081975176328 140082049323751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12445] ppid=12440 vsize=13267208 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12445/stat : 12445 (java) R 12440 12440 15667 0 -1 4202560 5090 0 0 0 210 225 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081974123784 140082049323751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12446] ppid=12440 vsize=13267208 CPUtime=4.39 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12446/stat : 12446 (java) R 12440 12440 15667 0 -1 4202560 9978 0 0 0 209 230 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081973070728 140082049323751 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12447] ppid=12440 vsize=13267208 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12447/stat : 12447 (java) R 12440 12440 15667 0 -1 4202560 9547 0 0 0 212 222 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081972018184 140082049323751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12448] ppid=12440 vsize=13267208 CPUtime=4.18 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4202560 6013 0 0 0 204 214 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081970965128 140082040078578 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12449] ppid=12440 vsize=13267208 CPUtime=4.39 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12449/stat : 12449 (java) R 12440 12440 15667 0 -1 4202560 7458 0 0 0 206 233 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081650199304 140082049323751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12450] ppid=12440 vsize=13267208 CPUtime=4.38 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12450/stat : 12450 (java) R 12440 12440 15667 0 -1 4202560 5892 0 0 0 203 235 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081649146248 140082049323751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12451] ppid=12440 vsize=13267208 CPUtime=4.36 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12451/stat : 12451 (java) R 12440 12440 15667 0 -1 4202560 6068 0 0 0 207 229 0 0 20 0 20 0 4871828 13585620992 983090 33554432000 4194304 4196468 140721196529184 140081648093472 140082049792268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12452] ppid=12440 vsize=13267208 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12452/stat : 12452 (java) S 12440 12440 15667 0 -1 1077944384 6299 0 0 0 4 0 0 0 20 0 20 0 4871830 13585620992 983090 33554432000 4194304 4196468 140721196529184 140080721442112 140082056705749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12453] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12453/stat : 12453 (java) S 12440 12440 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4871830 13585620992 983090 33554432000 4194304 4196468 140721196529184 140080720389792 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12454] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12454/stat : 12454 (java) S 12440 12440 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4871831 13585620992 983090 33554432000 4194304 4196468 140721196529184 140080719336688 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12455] ppid=12440 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12455/stat : 12455 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871834 13585620992 983090 33554432000 4194304 4196468 140721196529184 140080718285264 140082056714139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
################
# More data... #
################
Current children cumulated vsize (KiB) 13278768
[startup+40.001 s]
/proc/loadavg: 5.37 8.02 11.37 10/283 12483
/proc/meminfo: memFree=12680932/32770624 swapFree=5892/131680
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=13269256 CPUtime=274.07 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) S 12440 12440 15667 0 -1 1077944320 240699 0 0 0 22997 4410 0 0 20 0 20 0 4871826 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140721196511728 140082056695543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
/proc/12441/statm: 3317314 2668417 3250 1 0 3304547 0
[pid=12441/tid=12442] ppid=12440 vsize=13269256 CPUtime=4.67 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12442/stat : 12442 (java) S 12440 12440 15667 0 -1 1077944384 9196 0 0 0 454 13 0 0 20 0 20 0 4871827 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140082060934864 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12444] ppid=12440 vsize=13269256 CPUtime=33.3 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12444/stat : 12444 (java) R 12440 12440 15667 0 -1 4202560 21288 0 0 0 2781 549 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081975176408 140082041685186 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12445] ppid=12440 vsize=13269256 CPUtime=33.22 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12445/stat : 12445 (java) R 12440 12440 15667 0 -1 4202560 18709 0 0 0 2750 572 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081974123784 140082049323751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12446] ppid=12440 vsize=13269256 CPUtime=33.05 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12446/stat : 12446 (java) R 12440 12440 15667 0 -1 4202560 35349 0 0 0 2776 529 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081973070728 140082049323751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12447] ppid=12440 vsize=13269256 CPUtime=33.29 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12447/stat : 12447 (java) R 12440 12440 15667 0 -1 4202560 24414 0 0 0 2819 510 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081972018184 140082049323751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12448] ppid=12440 vsize=13269256 CPUtime=32.94 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4202560 20812 0 0 0 2723 571 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081970965128 140082049323751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12449] ppid=12440 vsize=13269256 CPUtime=33.33 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12449/stat : 12449 (java) R 12440 12440 15667 0 -1 4202560 26943 0 0 0 2765 568 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081650199304 140082049323751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12450] ppid=12440 vsize=13269256 CPUtime=33.32 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12450/stat : 12450 (java) R 12440 12440 15667 0 -1 4202560 21353 0 0 0 2751 581 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081649146248 140082049323751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12451] ppid=12440 vsize=13269256 CPUtime=32.69 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12451/stat : 12451 (java) R 12440 12440 15667 0 -1 4202560 32387 0 0 0 2765 504 0 0 20 0 20 0 4871828 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140081648093704 140082040078576 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12452] ppid=12440 vsize=13269256 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12452/stat : 12452 (java) S 12440 12440 15667 0 -1 1077944384 20482 0 0 0 174 2 0 0 20 0 20 0 4871830 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080721442112 140082056705749 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12453] ppid=12440 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12453/stat : 12453 (java) S 12440 12440 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4871830 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080720389856 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12454] ppid=12440 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12454/stat : 12454 (java) S 12440 12440 15667 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4871831 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080719336704 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12455] ppid=12440 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12455/stat : 12455 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4871834 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080718285264 140082056714139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12456] ppid=12440 vsize=13269256 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12456/stat : 12456 (java) S 12440 12440 15667 0 -1 1077944384 2601 0 0 0 73 0 0 0 20 0 20 0 4871834 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080717232368 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12457] ppid=12440 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12457/stat : 12457 (java) S 12440 12440 15667 0 -1 1077944384 1447 0 0 0 55 1 0 0 20 0 20 0 4871834 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080716179824 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12458] ppid=12440 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12458/stat : 12458 (java) S 12440 12440 15667 0 -1 1077944384 1859 0 0 0 55 0 0 0 20 0 20 0 4871834 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080715126768 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12459] ppid=12440 vsize=13269256 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12459/stat : 12459 (java) S 12440 12440 15667 0 -1 1077944384 2146 0 0 0 49 0 0 0 20 0 20 0 4871834 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080714074224 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12460] ppid=12440 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12460/stat : 12460 (java) S 12440 12440 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4871835 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080713022432 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12461] ppid=12440 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12461/stat : 12461 (java) S 12440 12440 15667 0 -1 1077944384 388 0 0 0 1 2 0 0 20 0 20 0 4871835 13587718144 2668417 33554432000 4194304 4196468 140721196529184 140080711969968 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
Current children cumulated CPU time (s) 274.07
Current children cumulated vsize (KiB) 13278768
[startup+41.601 s]
/proc/loadavg: 5.37 8.02 11.37 3/283 12483
/proc/meminfo: memFree=12680812/32770624 swapFree=5892/131684
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=13335820 CPUtime=286.3 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) S 12440 12440 15667 0 -1 1077944320 241730 0 0 0 24214 4416 0 0 20 0 21 0 4871826 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140721196511728 140082056695543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
/proc/12441/statm: 3333955 2668462 3251 1 0 3321188 0
[pid=12441/tid=12442] ppid=12440 vsize=13335820 CPUtime=4.67 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12442/stat : 12442 (java) S 12440 12440 15667 0 -1 1077944384 9250 0 0 0 454 13 0 0 20 0 21 0 4871827 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140082060936224 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12444] ppid=12440 vsize=13335820 CPUtime=34.83 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12444/stat : 12444 (java) R 12440 12440 15667 0 -1 4202560 21348 0 0 0 2934 549 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081975176408 140082041395803 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12445] ppid=12440 vsize=13335820 CPUtime=34.75 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12445/stat : 12445 (java) R 12440 12440 15667 0 -1 4202560 18766 0 0 0 2902 573 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081974123784 140082049323751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12446] ppid=12440 vsize=13335820 CPUtime=34.57 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12446/stat : 12446 (java) R 12440 12440 15667 0 -1 4202560 35436 0 0 0 2927 530 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081973070728 140082049323751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12447] ppid=12440 vsize=13335820 CPUtime=34.8 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12447/stat : 12447 (java) R 12440 12440 15667 0 -1 4202560 24646 0 0 0 2969 511 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081972018184 140082049323751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12448] ppid=12440 vsize=13335820 CPUtime=34.45 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4202560 20998 0 0 0 2874 571 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081970965128 140082049323751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12449] ppid=12440 vsize=13335820 CPUtime=34.85 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12449/stat : 12449 (java) R 12440 12440 15667 0 -1 4202560 26989 0 0 0 2916 569 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081650199304 140082049323751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12450] ppid=12440 vsize=13335820 CPUtime=34.84 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12450/stat : 12450 (java) R 12440 12440 15667 0 -1 4202560 21398 0 0 0 2903 581 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081649146248 140082049323751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12451] ppid=12440 vsize=13335820 CPUtime=34.2 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12451/stat : 12451 (java) R 12440 12440 15667 0 -1 4202560 32570 0 0 0 2915 505 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081648093704 140082040078578 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12452] ppid=12440 vsize=13335820 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12452/stat : 12452 (java) S 12440 12440 15667 0 -1 1077944384 20484 0 0 0 180 2 0 0 20 0 21 0 4871830 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080721442112 140082056705749 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12453] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12453/stat : 12453 (java) S 12440 12440 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 4871830 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080720389856 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12454] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12454/stat : 12454 (java) S 12440 12440 15667 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 4871831 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080719336704 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12455] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12455/stat : 12455 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080718285264 140082056714139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12456] ppid=12440 vsize=13335820 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12456/stat : 12456 (java) S 12440 12440 15667 0 -1 1077944384 2601 0 0 0 73 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080717232368 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12457] ppid=12440 vsize=13335820 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12457/stat : 12457 (java) S 12440 12440 15667 0 -1 1077944384 1448 0 0 0 55 1 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080716179824 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12458] ppid=12440 vsize=13335820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12458/stat : 12458 (java) S 12440 12440 15667 0 -1 1077944384 1859 0 0 0 55 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080715126768 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12459] ppid=12440 vsize=13335820 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12459/stat : 12459 (java) S 12440 12440 15667 0 -1 1077944384 2200 0 0 0 49 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080714073792 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12460] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12460/stat : 12460 (java) S 12440 12440 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4871835 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080713022432 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12461] ppid=12440 vsize=13335820 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12461/stat : 12461 (java) S 12440 12440 15667 0 -1 1077944384 388 0 0 0 1 2 0 0 20 0 21 0 4871835 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080711969968 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
Current children cumulated CPU time (s) 286.3
Current children cumulated vsize (KiB) 13345332
[startup+42.401 s]
/proc/loadavg: 5.67 8.04 11.35 10/284 12484
/proc/meminfo: memFree=12680548/32770624 swapFree=5892/131684
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=13335820 CPUtime=292.53 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) S 12440 12440 15667 0 -1 1077944320 241730 0 0 0 24835 4418 0 0 20 0 21 0 4871826 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140721196511728 140082056695543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
/proc/12441/statm: 3333955 2668462 3251 1 0 3321188 0
[pid=12441/tid=12442] ppid=12440 vsize=13335820 CPUtime=4.67 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12442/stat : 12442 (java) S 12440 12440 15667 0 -1 1077944384 9250 0 0 0 454 13 0 0 20 0 21 0 4871827 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140082060936224 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12444] ppid=12440 vsize=13335820 CPUtime=35.63 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12444/stat : 12444 (java) R 12440 12440 15667 0 -1 4202560 21348 0 0 0 3014 549 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081975176408 140082041395803 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12445] ppid=12440 vsize=13335820 CPUtime=35.53 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12445/stat : 12445 (java) R 12440 12440 15667 0 -1 4202560 18766 0 0 0 2980 573 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081974123784 140082049323751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12446] ppid=12440 vsize=13335820 CPUtime=35.36 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12446/stat : 12446 (java) R 12440 12440 15667 0 -1 4202560 35436 0 0 0 3005 531 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081973070728 140082049323751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12447] ppid=12440 vsize=13335820 CPUtime=35.59 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12447/stat : 12447 (java) R 12440 12440 15667 0 -1 4202560 24646 0 0 0 3047 512 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081972018184 140082049323751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12448] ppid=12440 vsize=13335820 CPUtime=35.24 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4202560 20998 0 0 0 2952 572 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081970965128 140082049323751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12449] ppid=12440 vsize=13335820 CPUtime=35.63 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12449/stat : 12449 (java) R 12440 12440 15667 0 -1 4202560 26989 0 0 0 2993 570 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081650199304 140082049323751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12450] ppid=12440 vsize=13335820 CPUtime=35.61 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12450/stat : 12450 (java) R 12440 12440 15667 0 -1 4202560 21398 0 0 0 2980 581 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081649146248 140082049323751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12451] ppid=12440 vsize=13335820 CPUtime=34.96 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12451/stat : 12451 (java) R 12440 12440 15667 0 -1 4202560 32570 0 0 0 2991 505 0 0 20 0 21 0 4871828 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140081648093704 140082040078578 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12452] ppid=12440 vsize=13335820 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12452/stat : 12452 (java) S 12440 12440 15667 0 -1 1077944384 20484 0 0 0 180 2 0 0 20 0 21 0 4871830 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080721442112 140082056705749 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12453] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12453/stat : 12453 (java) S 12440 12440 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 4871830 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080720389856 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12454] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12454/stat : 12454 (java) S 12440 12440 15667 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 4871831 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080719336704 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12455] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12455/stat : 12455 (java) S 12440 12440 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080718285264 140082056714139 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12456] ppid=12440 vsize=13335820 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12456/stat : 12456 (java) S 12440 12440 15667 0 -1 1077944384 2601 0 0 0 73 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080717232368 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12457] ppid=12440 vsize=13335820 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12457/stat : 12457 (java) S 12440 12440 15667 0 -1 1077944384 1448 0 0 0 55 1 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080716179824 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12458] ppid=12440 vsize=13335820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12458/stat : 12458 (java) S 12440 12440 15667 0 -1 1077944384 1859 0 0 0 55 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080715126768 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12459] ppid=12440 vsize=13335820 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12459/stat : 12459 (java) S 12440 12440 15667 0 -1 1077944384 2200 0 0 0 49 0 0 0 20 0 21 0 4871834 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080714073792 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12460] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12460/stat : 12460 (java) S 12440 12440 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4871835 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080713022432 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12461] ppid=12440 vsize=13335820 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12461/stat : 12461 (java) S 12440 12440 15667 0 -1 1077944384 388 0 0 0 1 2 0 0 20 0 21 0 4871835 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080711969968 140082056706690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
[pid=12441/tid=12484] ppid=12440 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12484/stat : 12484 (java) S 12440 12440 15667 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4875899 13655879680 2668462 33554432000 4194304 4196468 140721196529184 140080703958592 140082056705749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19595264 140721196532924 140721196533100 140721196533100 140721196535759 0
Current children cumulated CPU time (s) 292.53
Current children cumulated vsize (KiB) 13345332
[startup+42.801 s]
/proc/loadavg: 5.67 8.04 11.35 10/284 12484
/proc/meminfo: memFree=12680548/32770624 swapFree=5892/131684
[pid=12440] ppid=12437 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (xcsp3-exec) S 12437 12440 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4871826 9740288 346 33554432000 4194304 5098028 140732429785104 140732429783208 140420581397116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35569664 140732429792399 140732429792608 140732429792608 140732429795307 0
/proc/12440/statm: 2378 346 289 221 0 87 0
[pid=12441] ppid=12440 vsize=0 CPUtime=295.1 cores=0,2,4,6,8,10,12,14
/proc/12441/stat : 12441 (java) Z 12440 12440 15667 0 -1 4227084 242109 0 0 0 25088 4422 0 0 20 0 2 0 4871826 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12441/statm: 0 0 0 0 0 0 0
[pid=12441/tid=12448] ppid=12440 vsize=0 CPUtime=35.56 cores=0,2,4,6,8,10,12,14
/proc/12441/task/12448/stat : 12448 (java) R 12440 12440 15667 0 -1 4203588 20998 0 0 0 2981 575 0 0 20 0 2 0 4871828 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 295.1
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 42.8284
CPU time (s): 295.129
CPU user time (s): 250.88
CPU system time (s): 44.2487
CPU usage (%): 689.096
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.88
system time used= 44.2487
maximum resident set size= 10674320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11499
involuntary context switches= 18178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.541564 second user time and 0.86054 second system time
The end