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-4245771-1500686576/watcher-4245771-1500686576 -o /tmp/evaluation-result-4245771-1500686576/solver-4245771-1500686576 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1234111091 HOME/instance-4245771-1500686576.xml
pid=17757
running on 8 cores: 1,3,5,7,9,11,13,15
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: 14.43 13.60 13.25 3/274 17760
/proc/meminfo: memFree=31015172/32770624 swapFree=5860/270328
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[startup+0.100127 s]
/proc/loadavg: 14.43 13.60 13.25 3/274 17760
/proc/meminfo: memFree=31015172/32770624 swapFree=5860/270328
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 14.43 13.60 13.25 3/274 17760
/proc/meminfo: memFree=31015172/32770624 swapFree=5860/270328
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300222 s]
/proc/loadavg: 14.43 13.60 13.25 3/274 17760
/proc/meminfo: memFree=31015172/32770624 swapFree=5860/270328
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700208 s]
/proc/loadavg: 14.43 13.60 13.25 3/274 17760
/proc/meminfo: memFree=31015172/32770624 swapFree=5860/270328
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50075 s]
/proc/loadavg: 14.43 13.60 13.25 3/295 17781
/proc/meminfo: memFree=30913072/32770624 swapFree=5860/270408
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=13267208 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) S 17760 17760 7411 0 -1 1077944320 13683 0 0 0 315 6 0 0 20 0 20 0 3925039 13585620992 28995 33554432000 4194304 4196468 140724638245408 140724638227952 139737058676471 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
/proc/17761/statm: 3316802 28995 3203 1 0 3304035 0
[pid=17761/tid=17762] ppid=17760 vsize=13267208 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17762/stat : 17762 (java) R 17760 17760 7411 0 -1 4202560 6139 0 0 0 144 3 0 0 20 0 20 0 3925040 13585620992 28995 33554432000 4194304 4196468 140724638245408 139737062912968 139737041139594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17764] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17764/stat : 17764 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 28995 33554432000 4194304 4196468 140724638245408 139737030519824 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17765] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17765/stat : 17765 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736657276048 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17766] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17766/stat : 17766 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736656222992 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17767] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17767/stat : 17767 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736655170448 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17768] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17768/stat : 17768 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736654117392 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17769] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17769/stat : 17769 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925041 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736653064848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17770] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17770/stat : 17770 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925041 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736652011792 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17771] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925041 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736650959248 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17772] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17772/stat : 17772 (java) S 17760 17760 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3925043 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736521001712 139737058687618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17773] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17773/stat : 17773 (java) S 17760 17760 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3925044 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736519947936 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17774] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17774/stat : 17774 (java) S 17760 17760 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3925044 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736518894832 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17775] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17775/stat : 17775 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925047 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736517843408 139737058695067 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17776] ppid=17760 vsize=13267208 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17776/stat : 17776 (java) S 17760 17760 7411 0 -1 1077944384 2386 0 0 0 46 0 0 0 20 0 20 0 3925047 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736516790512 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17777] ppid=17760 vsize=13267208 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17777/stat : 17777 (java) S 17760 17760 7411 0 -1 1077944384 1059 0 0 0 39 0 0 0 20 0 20 0 3925048 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736515737968 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17778] ppid=17760 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17778/stat : 17778 (java) S 17760 17760 7411 0 -1 1077944384 932 0 0 0 41 0 0 0 20 0 20 0 3925048 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736514684912 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17779] ppid=17760 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17779/stat : 17779 (java) S 17760 17760 7411 0 -1 1077944384 1851 0 0 0 43 1 0 0 20 0 20 0 3925048 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736513632368 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17780] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17780/stat : 17780 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3925048 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736512580576 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17781] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17781/stat : 17781 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3925048 13585620992 28995 33554432000 4194304 4196468 140724638245408 139736511528112 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 13276720
[startup+3.10078 s]
/proc/loadavg: 14.43 13.60 13.25 3/295 17781
/proc/meminfo: memFree=30909552/32770624 swapFree=5860/270408
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=13267208 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) S 17760 17760 7411 0 -1 1077944320 14484 0 0 0 478 6 0 0 20 0 20 0 3925039 13585620992 29539 33554432000 4194304 4196468 140724638245408 140724638227952 139737058676471 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
/proc/17761/statm: 3316802 29539 3207 1 0 3304035 0
[pid=17761/tid=17762] ppid=17760 vsize=13267208 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17762/stat : 17762 (java) R 17760 17760 7411 0 -1 4202560 6317 0 0 0 304 3 0 0 20 0 20 0 3925040 13585620992 29539 33554432000 4194304 4196468 140724638245408 139737062913808 139737043757312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17764] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17764/stat : 17764 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 29539 33554432000 4194304 4196468 140724638245408 139737030519824 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17765] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17765/stat : 17765 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736657276048 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17766] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17766/stat : 17766 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736656222992 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17767] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17767/stat : 17767 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736655170448 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17768] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17768/stat : 17768 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925040 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736654117392 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17769] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17769/stat : 17769 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925041 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736653064848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17770] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17770/stat : 17770 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925041 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736652011792 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17771] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) S 17760 17760 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3925041 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736650959248 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17772] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17772/stat : 17772 (java) S 17760 17760 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 3925043 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736521001712 139737058687618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17773] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17773/stat : 17773 (java) S 17760 17760 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3925044 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736519947936 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17774] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17774/stat : 17774 (java) S 17760 17760 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3925044 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736518894832 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17775] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17775/stat : 17775 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925047 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736517843408 139737058695067 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17776] ppid=17760 vsize=13267208 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17776/stat : 17776 (java) S 17760 17760 7411 0 -1 1077944384 2417 0 0 0 47 0 0 0 20 0 20 0 3925047 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736516790512 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17777] ppid=17760 vsize=13267208 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17777/stat : 17777 (java) S 17760 17760 7411 0 -1 1077944384 1235 0 0 0 39 0 0 0 20 0 20 0 3925048 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736515737968 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17778] ppid=17760 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17778/stat : 17778 (java) S 17760 17760 7411 0 -1 1077944384 1296 0 0 0 44 0 0 0 20 0 20 0 3925048 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736514684912 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17779] ppid=17760 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17779/stat : 17779 (java) S 17760 17760 7411 0 -1 1077944384 1852 0 0 0 43 1 0 0 20 0 20 0 3925048 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736513632368 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17780] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17780/stat : 17780 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3925048 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736512580576 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17781] ppid=17760 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17781/stat : 17781 (java) S 17760 17760 7411 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 3925048 13585620992 29539 33554432000 4194304 4196468 140724638245408 139736511528112 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 13276720
[startup+6.30081 s]
/proc/loadavg: 13.51 13.42 13.20 3/295 17781
/proc/meminfo: memFree=30796620/32770624 swapFree=5860/270416
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=13269256 CPUtime=8.84 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) S 17760 17760 7411 0 -1 1077944320 20748 0 0 0 852 32 0 0 20 0 20 0 3925039 13587718144 57708 33554432000 4194304 4196468 140724638245408 140724638227952 139737058676471 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
/proc/17761/statm: 3317314 57708 3240 1 0 3304547 0
[pid=17761/tid=17762] ppid=17760 vsize=13269256 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17762/stat : 17762 (java) R 17760 17760 7411 0 -1 4202560 8559 0 0 0 616 4 0 0 20 0 20 0 3925040 13587718144 57708 33554432000 4194304 4196468 140724638245408 139737062913264 139736700210866 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17764] ppid=17760 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17764/stat : 17764 (java) S 17760 17760 7411 0 -1 1077944384 118 0 0 0 2 3 0 0 20 0 20 0 3925040 13587718144 57708 33554432000 4194304 4196468 140724638245408 139737030519824 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17765] ppid=17760 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17765/stat : 17765 (java) S 17760 17760 7411 0 -1 1077944384 61 0 0 0 2 2 0 0 20 0 20 0 3925040 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736657276048 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17766] ppid=17760 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17766/stat : 17766 (java) S 17760 17760 7411 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 20 0 3925040 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736656222992 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17767] ppid=17760 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17767/stat : 17767 (java) S 17760 17760 7411 0 -1 1077944384 76 0 0 0 2 3 0 0 20 0 20 0 3925040 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736655170448 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17768] ppid=17760 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17768/stat : 17768 (java) S 17760 17760 7411 0 -1 1077944384 59 0 0 0 2 2 0 0 20 0 20 0 3925040 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736654117392 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17769] ppid=17760 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17769/stat : 17769 (java) S 17760 17760 7411 0 -1 1077944384 35 0 0 0 2 3 0 0 20 0 20 0 3925041 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736653064848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17770] ppid=17760 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17770/stat : 17770 (java) S 17760 17760 7411 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 20 0 3925041 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736652011792 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17771] ppid=17760 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) S 17760 17760 7411 0 -1 1077944384 316 0 0 0 2 2 0 0 20 0 20 0 3925041 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736650959248 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17772] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17772/stat : 17772 (java) S 17760 17760 7411 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 3925043 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736521001712 139737058687618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17773] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17773/stat : 17773 (java) S 17760 17760 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3925044 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736519947936 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17774] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17774/stat : 17774 (java) S 17760 17760 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3925044 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736518894832 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17775] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17775/stat : 17775 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925047 13587718144 57708 33554432000 4194304 4196468 140724638245408 139736517843408 139737058695067 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
################
# More data... #
################
[startup+263.201 s]
/proc/loadavg: 8.92 9.45 11.47 17/291 19717
/proc/meminfo: memFree=20981372/32770624 swapFree=5860/271920
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=13269256 CPUtime=818.65 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) S 17760 17760 7411 0 -1 1077944320 368417 0 0 0 77861 4004 0 0 20 0 20 0 3925039 13587718144 2554548 33554432000 4194304 4196468 140724638245408 140724638227952 139737058676471 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
/proc/17761/statm: 3317314 2554548 3278 1 0 3304547 0
[pid=17761/tid=17762] ppid=17760 vsize=13269256 CPUtime=176.29 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17762/stat : 17762 (java) S 17760 17760 7411 0 -1 1077944384 15482 0 0 0 17619 10 0 0 20 0 20 0 3925040 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139737062918064 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17764] ppid=17760 vsize=13269256 CPUtime=78.9 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17764/stat : 17764 (java) S 17760 17760 7411 0 -1 1077944384 28412 0 0 0 7396 494 0 0 20 0 20 0 3925040 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139737030519824 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17765] ppid=17760 vsize=13269256 CPUtime=78.76 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17765/stat : 17765 (java) S 17760 17760 7411 0 -1 1077944384 29589 0 0 0 7404 472 0 0 20 0 20 0 3925040 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736657276048 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17766] ppid=17760 vsize=13269256 CPUtime=78.84 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17766/stat : 17766 (java) S 17760 17760 7411 0 -1 1077944384 49540 0 0 0 7448 436 0 0 20 0 20 0 3925040 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736656222992 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17767] ppid=17760 vsize=13269256 CPUtime=78.78 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17767/stat : 17767 (java) S 17760 17760 7411 0 -1 1077944384 31008 0 0 0 7383 495 0 0 20 0 20 0 3925040 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736655170448 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17768] ppid=17760 vsize=13269256 CPUtime=79.38 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17768/stat : 17768 (java) S 17760 17760 7411 0 -1 1077944384 30408 0 0 0 7418 520 0 0 20 0 20 0 3925040 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736654117392 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17769] ppid=17760 vsize=13269256 CPUtime=78.5 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17769/stat : 17769 (java) S 17760 17760 7411 0 -1 1077944384 38412 0 0 0 7325 525 0 0 20 0 20 0 3925041 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736653064848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17770] ppid=17760 vsize=13269256 CPUtime=79.1 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17770/stat : 17770 (java) S 17760 17760 7411 0 -1 1077944384 54311 0 0 0 7401 509 0 0 20 0 20 0 3925041 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736652011792 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17771] ppid=17760 vsize=13269256 CPUtime=78.9 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) S 17760 17760 7411 0 -1 1077944384 26657 0 0 0 7364 526 0 0 20 0 20 0 3925041 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736650959248 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17772] ppid=17760 vsize=13269256 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17772/stat : 17772 (java) R 17760 17760 7411 0 -1 4202560 39020 0 0 0 651 3 0 0 20 0 20 0 3925043 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736521000144 139737043134104 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17773] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17773/stat : 17773 (java) S 17760 17760 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 3925044 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736519948000 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17774] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17774/stat : 17774 (java) S 17760 17760 7411 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 3925044 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736518894848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17775] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17775/stat : 17775 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3925047 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736517843408 139737058695067 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17776] ppid=17760 vsize=13269256 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17776/stat : 17776 (java) S 17760 17760 7411 0 -1 1077944384 6414 0 0 0 124 1 0 0 20 0 20 0 3925047 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736516790560 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17777] ppid=17760 vsize=13269256 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17777/stat : 17777 (java) S 17760 17760 7411 0 -1 1077944384 5766 0 0 0 119 0 0 0 20 0 20 0 3925048 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736515738016 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17778] ppid=17760 vsize=13269256 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17778/stat : 17778 (java) S 17760 17760 7411 0 -1 1077944384 6280 0 0 0 129 1 0 0 20 0 20 0 3925048 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736514684672 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17779] ppid=17760 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17779/stat : 17779 (java) S 17760 17760 7411 0 -1 1077944384 5358 0 0 0 68 1 0 0 20 0 20 0 3925048 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736513631936 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17780] ppid=17760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17780/stat : 17780 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3925048 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736512580576 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17781] ppid=17760 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17781/stat : 17781 (java) S 17760 17760 7411 0 -1 1077944384 309 0 0 0 3 5 0 0 20 0 20 0 3925048 13587718144 2554548 33554432000 4194304 4196468 140724638245408 139736511528112 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
Current children cumulated CPU time (s) 818.65
Current children cumulated vsize (KiB) 13278768
[startup+264.001 s]
/proc/loadavg: 8.92 9.45 11.47 17/292 19718
/proc/meminfo: memFree=20981232/32770624 swapFree=5860/271920
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=13335820 CPUtime=824.53 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) S 17760 17760 7411 0 -1 1077944320 368528 0 0 0 78449 4004 0 0 20 0 21 0 3925039 13655879680 2554548 33554432000 4194304 4196468 140724638245408 140724638227952 139737058676471 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
/proc/17761/statm: 3333955 2554548 3278 1 0 3321188 0
[pid=17761/tid=17762] ppid=17760 vsize=13335820 CPUtime=176.29 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17762/stat : 17762 (java) S 17760 17760 7411 0 -1 1077944384 15492 0 0 0 17619 10 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139737062917152 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17764] ppid=17760 vsize=13335820 CPUtime=79.62 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17764/stat : 17764 (java) R 17760 17760 7411 0 -1 4202560 28412 0 0 0 7468 494 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139737030520024 139737043672964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17765] ppid=17760 vsize=13335820 CPUtime=79.49 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17765/stat : 17765 (java) R 17760 17760 7411 0 -1 4202560 29590 0 0 0 7477 472 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736657276248 139737043673117 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17766] ppid=17760 vsize=13335820 CPUtime=79.57 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17766/stat : 17766 (java) R 17760 17760 7411 0 -1 4202560 49544 0 0 0 7521 436 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736656223192 139737043134083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17767] ppid=17760 vsize=13335820 CPUtime=79.5 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17767/stat : 17767 (java) R 17760 17760 7411 0 -1 4202560 31008 0 0 0 7455 495 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736655170336 139737043673133 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17768] ppid=17760 vsize=13335820 CPUtime=80.11 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17768/stat : 17768 (java) R 17760 17760 7411 0 -1 4202560 30408 0 0 0 7491 520 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736654117592 139737043134104 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17769] ppid=17760 vsize=13335820 CPUtime=79.23 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17769/stat : 17769 (java) R 17760 17760 7411 0 -1 4202560 38419 0 0 0 7398 525 0 0 20 0 21 0 3925041 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736653065048 139737043134074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17770] ppid=17760 vsize=13335820 CPUtime=79.8 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17770/stat : 17770 (java) R 17760 17760 7411 0 -1 4202560 54311 0 0 0 7471 509 0 0 20 0 21 0 3925041 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736652011992 139737043134074 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17771] ppid=17760 vsize=13335820 CPUtime=79.63 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) R 17760 17760 7411 0 -1 4202560 26661 0 0 0 7437 526 0 0 20 0 21 0 3925041 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736650959448 139737043672842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17772] ppid=17760 vsize=13335820 CPUtime=6.62 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17772/stat : 17772 (java) S 17760 17760 7411 0 -1 1077944384 39021 0 0 0 659 3 0 0 20 0 21 0 3925043 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736521000256 139737058686677 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17773] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17773/stat : 17773 (java) S 17760 17760 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 21 0 3925044 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736519948000 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17774] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17774/stat : 17774 (java) S 17760 17760 7411 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 21 0 3925044 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736518894848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17775] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17775/stat : 17775 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3925047 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736517843408 139737058695067 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17776] ppid=17760 vsize=13335820 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17776/stat : 17776 (java) S 17760 17760 7411 0 -1 1077944384 6414 0 0 0 124 1 0 0 20 0 21 0 3925047 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736516790512 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17777] ppid=17760 vsize=13335820 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17777/stat : 17777 (java) S 17760 17760 7411 0 -1 1077944384 5766 0 0 0 119 0 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736515737968 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17778] ppid=17760 vsize=13335820 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17778/stat : 17778 (java) S 17760 17760 7411 0 -1 1077944384 6280 0 0 0 129 1 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736514684912 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17779] ppid=17760 vsize=13335820 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17779/stat : 17779 (java) S 17760 17760 7411 0 -1 1077944384 5419 0 0 0 68 1 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736513632368 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17780] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17780/stat : 17780 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736512580576 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17781] ppid=17760 vsize=13335820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17781/stat : 17781 (java) S 17760 17760 7411 0 -1 1077944384 309 0 0 0 3 5 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736511528112 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=19718] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/19718/stat : 19718 (java) S 17760 17760 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3951366 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736503516736 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
Current children cumulated CPU time (s) 824.53
Current children cumulated vsize (KiB) 13345332
[startup+264.401 s]
/proc/loadavg: 8.92 9.45 11.47 17/292 19718
/proc/meminfo: memFree=20981232/32770624 swapFree=5860/271920
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=13335820 CPUtime=827.62 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) S 17760 17760 7411 0 -1 1077944320 368528 0 0 0 78758 4004 0 0 20 0 21 0 3925039 13655879680 2554548 33554432000 4194304 4196468 140724638245408 140724638227952 139737058676471 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
/proc/17761/statm: 3333955 2554548 3278 1 0 3321188 0
[pid=17761/tid=17762] ppid=17760 vsize=13335820 CPUtime=176.29 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17762/stat : 17762 (java) S 17760 17760 7411 0 -1 1077944384 15492 0 0 0 17619 10 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139737062917152 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17764] ppid=17760 vsize=13335820 CPUtime=80.01 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17764/stat : 17764 (java) R 17760 17760 7411 0 -1 4202560 28412 0 0 0 7507 494 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139737030520024 139737040286080 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17765] ppid=17760 vsize=13335820 CPUtime=79.88 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17765/stat : 17765 (java) R 17760 17760 7411 0 -1 4202560 29590 0 0 0 7516 472 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736657276248 139737051304679 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17766] ppid=17760 vsize=13335820 CPUtime=79.96 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17766/stat : 17766 (java) R 17760 17760 7411 0 -1 4202560 49544 0 0 0 7560 436 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736656223192 139737051304679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17767] ppid=17760 vsize=13335820 CPUtime=79.89 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17767/stat : 17767 (java) R 17760 17760 7411 0 -1 4202560 31008 0 0 0 7494 495 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736655170336 139737051304679 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17768] ppid=17760 vsize=13335820 CPUtime=80.5 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17768/stat : 17768 (java) R 17760 17760 7411 0 -1 4202560 30408 0 0 0 7530 520 0 0 20 0 21 0 3925040 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736654117592 139737043134104 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17769] ppid=17760 vsize=13335820 CPUtime=79.62 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17769/stat : 17769 (java) R 17760 17760 7411 0 -1 4202560 38419 0 0 0 7437 525 0 0 20 0 21 0 3925041 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736653065048 139737043134041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17770] ppid=17760 vsize=13335820 CPUtime=80.19 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17770/stat : 17770 (java) R 17760 17760 7411 0 -1 4202560 54311 0 0 0 7510 509 0 0 20 0 21 0 3925041 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736652011992 139737043134074 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17771] ppid=17760 vsize=13335820 CPUtime=80.02 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) R 17760 17760 7411 0 -1 4202560 26661 0 0 0 7476 526 0 0 20 0 21 0 3925041 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736650959448 139737051304679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17772] ppid=17760 vsize=13335820 CPUtime=6.62 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17772/stat : 17772 (java) S 17760 17760 7411 0 -1 1077944384 39021 0 0 0 659 3 0 0 20 0 21 0 3925043 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736521000256 139737058686677 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17773] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17773/stat : 17773 (java) S 17760 17760 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 21 0 3925044 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736519948000 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17774] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17774/stat : 17774 (java) S 17760 17760 7411 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 21 0 3925044 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736518894848 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17775] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17775/stat : 17775 (java) S 17760 17760 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3925047 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736517843408 139737058695067 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17776] ppid=17760 vsize=13335820 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17776/stat : 17776 (java) S 17760 17760 7411 0 -1 1077944384 6414 0 0 0 124 1 0 0 20 0 21 0 3925047 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736516790512 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17777] ppid=17760 vsize=13335820 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17777/stat : 17777 (java) S 17760 17760 7411 0 -1 1077944384 5766 0 0 0 119 0 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736515737968 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17778] ppid=17760 vsize=13335820 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17778/stat : 17778 (java) S 17760 17760 7411 0 -1 1077944384 6280 0 0 0 129 1 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736514684912 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17779] ppid=17760 vsize=13335820 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17779/stat : 17779 (java) S 17760 17760 7411 0 -1 1077944384 5419 0 0 0 68 1 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736513632368 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17780] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17780/stat : 17780 (java) S 17760 17760 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736512580576 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=17781] ppid=17760 vsize=13335820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17781/stat : 17781 (java) S 17760 17760 7411 0 -1 1077944384 309 0 0 0 3 5 0 0 20 0 21 0 3925048 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736511528112 139737058687618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
[pid=17761/tid=19718] ppid=17760 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17761/task/19718/stat : 19718 (java) S 17760 17760 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3951366 13655879680 2554548 33554432000 4194304 4196468 140724638245408 139736503516736 139737058686677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21413888 140724638254268 140724638254444 140724638254444 140724638257103 0
Current children cumulated CPU time (s) 827.62
Current children cumulated vsize (KiB) 13345332
[startup+264.501 s]
/proc/loadavg: 8.92 9.45 11.47 17/292 19718
/proc/meminfo: memFree=20981232/32770624 swapFree=5860/271920
[pid=17760] ppid=17757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3925039 9740288 345 33554432000 4194304 5098028 140728474487680 140728474485784 140692791292540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 40718336 140728474489998 140728474490208 140728474490208 140728474492907 0
/proc/17760/statm: 2378 345 289 221 0 87 0
[pid=17761] ppid=17760 vsize=0 CPUtime=827.89 cores=1,3,5,7,9,11,13,15
/proc/17761/stat : 17761 (java) Z 17760 17760 7411 0 -1 4227084 368579 0 0 0 78784 4005 0 0 20 0 2 0 3925039 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/17761/statm: 0 0 0 0 0 0 0
[pid=17761/tid=17771] ppid=17760 vsize=0 CPUtime=80.04 cores=1,3,5,7,9,11,13,15
/proc/17761/task/17771/stat : 17771 (java) R 17760 17760 7411 0 -1 4203588 26661 0 0 0 7478 526 0 0 20 0 2 0 3925041 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 11 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 827.89
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 264.551
CPU time (s): 827.945
CPU user time (s): 787.841
CPU system time (s): 40.1034
CPU usage (%): 312.962
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 787.841
system time used= 40.1034
maximum resident set size= 10218368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21417
involuntary context switches= 67936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89542 second user time and 2.83893 second system time
The end