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-4245770-1500686299/watcher-4245770-1500686299 -o /tmp/evaluation-result-4245770-1500686299/solver-4245770-1500686299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 585613421 HOME/instance-4245770-1500686299.xml
pid=29514
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.38 15.51 14.97 9/271 29517
/proc/meminfo: memFree=30680848/32770624 swapFree=5736/226232
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[startup+0.100112 s]
/proc/loadavg: 14.38 15.51 14.97 9/271 29517
/proc/meminfo: memFree=30680848/32770624 swapFree=5736/226232
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200343 s]
/proc/loadavg: 14.38 15.51 14.97 9/271 29517
/proc/meminfo: memFree=30680848/32770624 swapFree=5736/226232
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300268 s]
/proc/loadavg: 14.38 15.51 14.97 9/271 29517
/proc/meminfo: memFree=30680848/32770624 swapFree=5736/226232
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700232 s]
/proc/loadavg: 14.38 15.51 14.97 9/271 29517
/proc/meminfo: memFree=30680848/32770624 swapFree=5736/226232
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 14.38 15.51 14.97 10/292 29538
/proc/meminfo: memFree=30578344/32770624 swapFree=5736/226280
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=13267208 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) S 29517 29517 16473 0 -1 1077944320 14474 0 0 0 327 7 0 0 20 0 20 0 3899043 13585620992 29430 33554432000 4194304 4196468 140721026378416 140721026360960 140341378318071 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
/proc/29518/statm: 3316802 29430 3203 1 0 3304035 0
[pid=29518/tid=29519] ppid=29517 vsize=13267208 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29519/stat : 29519 (java) R 29517 29517 16473 0 -1 4202560 6155 0 0 0 143 4 0 0 20 0 20 0 3899044 13585620992 29430 33554432000 4194304 4196468 140721026378416 140341382554568 140341017595407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29521] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29521/stat : 29521 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140341345876368 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29522] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340976879888 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29523] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29523/stat : 29523 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340975827600 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29524] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29524/stat : 29524 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340974774800 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29525] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29525/stat : 29525 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340973722512 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29526] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29526/stat : 29526 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340972669712 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29527] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29527/stat : 29527 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340971617424 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29528] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29528/stat : 29528 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340970564624 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29529] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29529/stat : 29529 (java) S 29517 29517 16473 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3899047 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340840499312 140341378329218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29530] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29530/stat : 29530 (java) S 29517 29517 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3899048 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340839445280 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29531] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29531/stat : 29531 (java) S 29517 29517 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3899048 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340838392944 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29532] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29532/stat : 29532 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899052 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340837341264 140341378336667 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29533] ppid=29517 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29533/stat : 29533 (java) S 29517 29517 16473 0 -1 1077944384 1850 0 0 0 52 0 0 0 20 0 20 0 3899052 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340836289136 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29534] ppid=29517 vsize=13267208 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29534/stat : 29534 (java) S 29517 29517 16473 0 -1 1077944384 1328 0 0 0 46 0 0 0 20 0 20 0 3899052 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340835236336 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29535] ppid=29517 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29535/stat : 29535 (java) S 29517 29517 16473 0 -1 1077944384 1717 0 0 0 43 0 0 0 20 0 20 0 3899052 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340834184048 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29536] ppid=29517 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29536/stat : 29536 (java) S 29517 29517 16473 0 -1 1077944384 2105 0 0 0 42 1 0 0 20 0 20 0 3899052 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340833131248 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29537] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29537/stat : 29537 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899052 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340832078176 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29538] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29538/stat : 29538 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899053 13585620992 29430 33554432000 4194304 4196468 140721026378416 140340831025456 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 13276720
[startup+3.10096 s]
/proc/loadavg: 14.38 15.51 14.97 3/292 29538
/proc/meminfo: memFree=30574684/32770624 swapFree=5736/226280
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=13267208 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) S 29517 29517 16473 0 -1 1077944320 15094 0 0 0 490 7 0 0 20 0 20 0 3899043 13585620992 29944 33554432000 4194304 4196468 140721026378416 140721026360960 140341378318071 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
/proc/29518/statm: 3316802 29944 3203 1 0 3304035 0
[pid=29518/tid=29519] ppid=29517 vsize=13267208 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29519/stat : 29519 (java) R 29517 29517 16473 0 -1 4202560 6299 0 0 0 303 4 0 0 20 0 20 0 3899044 13585620992 29944 33554432000 4194304 4196468 140721026378416 140341382557024 140341275400682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29521] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29521/stat : 29521 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140341345876368 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29522] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340976879888 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29523] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29523/stat : 29523 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340975827600 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29524] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29524/stat : 29524 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340974774800 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29525] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29525/stat : 29525 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340973722512 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29526] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29526/stat : 29526 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340972669712 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29527] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29527/stat : 29527 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340971617424 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29528] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29528/stat : 29528 (java) S 29517 29517 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3899045 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340970564624 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29529] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29529/stat : 29529 (java) S 29517 29517 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 3899047 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340840499312 140341378329218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29530] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29530/stat : 29530 (java) S 29517 29517 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3899048 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340839445280 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29531] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29531/stat : 29531 (java) S 29517 29517 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3899048 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340838392944 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29532] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29532/stat : 29532 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899052 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340837341264 140341378336667 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29533] ppid=29517 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29533/stat : 29533 (java) S 29517 29517 16473 0 -1 1077944384 1873 0 0 0 52 0 0 0 20 0 20 0 3899052 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340836289136 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29534] ppid=29517 vsize=13267208 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29534/stat : 29534 (java) S 29517 29517 16473 0 -1 1077944384 1724 0 0 0 48 0 0 0 20 0 20 0 3899052 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340835236336 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29535] ppid=29517 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29535/stat : 29535 (java) S 29517 29517 16473 0 -1 1077944384 1730 0 0 0 43 0 0 0 20 0 20 0 3899052 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340834184048 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29536] ppid=29517 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29536/stat : 29536 (java) S 29517 29517 16473 0 -1 1077944384 2108 0 0 0 42 1 0 0 20 0 20 0 3899052 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340833131248 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29537] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29537/stat : 29537 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3899052 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340832078176 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29538] ppid=29517 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29538/stat : 29538 (java) S 29517 29517 16473 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3899053 13585620992 29944 33554432000 4194304 4196468 140721026378416 140340831025456 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 13276720
[startup+6.3011 s]
/proc/loadavg: 13.39 15.28 14.90 12/292 29554
/proc/meminfo: memFree=30462372/32770624 swapFree=5736/226288
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=13269256 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) S 29517 29517 16473 0 -1 1077944320 21693 0 0 0 862 34 0 0 20 0 20 0 3899043 13587718144 58031 33554432000 4194304 4196468 140721026378416 140721026360960 140341378318071 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
/proc/29518/statm: 3317314 58031 3242 1 0 3304547 0
[pid=29518/tid=29519] ppid=29517 vsize=13269256 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29519/stat : 29519 (java) R 29517 29517 16473 0 -1 4202560 8482 0 0 0 615 6 0 0 20 0 20 0 3899044 13587718144 58031 33554432000 4194304 4196468 140721026378416 140341382552624 140341360725648 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29521] ppid=29517 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29521/stat : 29521 (java) S 29517 29517 16473 0 -1 1077944384 80 0 0 0 2 3 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140341345876368 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29522] ppid=29517 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) S 29517 29517 16473 0 -1 1077944384 334 0 0 0 2 2 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340976879888 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29523] ppid=29517 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29523/stat : 29523 (java) S 29517 29517 16473 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340975827600 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29524] ppid=29517 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29524/stat : 29524 (java) S 29517 29517 16473 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340974774800 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29525] ppid=29517 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29525/stat : 29525 (java) S 29517 29517 16473 0 -1 1077944384 34 0 0 0 2 3 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340973722512 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29526] ppid=29517 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29526/stat : 29526 (java) S 29517 29517 16473 0 -1 1077944384 71 0 0 0 2 2 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340972669712 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29527] ppid=29517 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29527/stat : 29527 (java) S 29517 29517 16473 0 -1 1077944384 125 0 0 0 2 3 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340971617424 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29528] ppid=29517 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29528/stat : 29528 (java) S 29517 29517 16473 0 -1 1077944384 35 0 0 0 1 3 0 0 20 0 20 0 3899045 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340970564624 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29529] ppid=29517 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29529/stat : 29529 (java) S 29517 29517 16473 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 3899047 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340840499312 140341378329218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29530] ppid=29517 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29530/stat : 29530 (java) S 29517 29517 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3899048 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340839445280 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29531] ppid=29517 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29531/stat : 29531 (java) S 29517 29517 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3899048 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340838392944 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29532] ppid=29517 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29532/stat : 29532 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3899052 13587718144 58031 33554432000 4194304 4196468 140721026378416 140340837341264 140341378336667 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
################
# More data... #
################
/proc/meminfo: memFree=19635640/32770624 swapFree=5736/226596
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=13335820 CPUtime=832.88 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) S 29517 29517 16473 0 -1 1077944320 229923 0 0 0 79424 3864 0 0 20 0 21 0 3899043 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140721026360960 140341378318071 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
/proc/29518/statm: 3333955 2538151 3272 1 0 3321188 0
[pid=29518/tid=29519] ppid=29517 vsize=13335820 CPUtime=175.09 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29519/stat : 29519 (java) S 29517 29517 16473 0 -1 1077944384 12786 0 0 0 17497 12 0 0 20 0 21 0 3899044 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140341382558752 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29521] ppid=29517 vsize=13335820 CPUtime=81.37 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29521/stat : 29521 (java) R 29517 29517 16473 0 -1 4202560 40367 0 0 0 7619 518 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140341345876176 140341370946279 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29522] ppid=29517 vsize=13335820 CPUtime=81.02 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) R 29517 29517 16473 0 -1 4202560 14945 0 0 0 7596 506 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340976880008 140341370946279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29523] ppid=29517 vsize=13335820 CPUtime=80.95 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29523/stat : 29523 (java) R 29517 29517 16473 0 -1 4202560 13800 0 0 0 7592 503 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340975827408 140341370946279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29524] ppid=29517 vsize=13335820 CPUtime=81.26 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29524/stat : 29524 (java) R 29517 29517 16473 0 -1 4202560 14792 0 0 0 7711 415 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340974774920 140341370946279 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29525] ppid=29517 vsize=13335820 CPUtime=80.35 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29525/stat : 29525 (java) R 29517 29517 16473 0 -1 4202560 14255 0 0 0 7527 508 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340973722632 140341370946279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29526] ppid=29517 vsize=13335820 CPUtime=80.67 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29526/stat : 29526 (java) R 29517 29517 16473 0 -1 4202560 13865 0 0 0 7546 521 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340972669832 140341361701104 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29527] ppid=29517 vsize=13335820 CPUtime=80.83 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29527/stat : 29527 (java) R 29517 29517 16473 0 -1 4202560 25378 0 0 0 7649 434 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340971617544 140341370946279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29528] ppid=29517 vsize=13335820 CPUtime=80.97 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29528/stat : 29528 (java) R 29517 29517 16473 0 -1 4202560 18695 0 0 0 7666 431 0 0 20 0 21 0 3899045 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340970564824 140341362775669 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29529] ppid=29517 vsize=13335820 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29529/stat : 29529 (java) S 29517 29517 16473 0 -1 1077944384 36688 0 0 0 556 3 0 0 20 0 21 0 3899047 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340840497856 140341378328277 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29530] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29530/stat : 29530 (java) S 29517 29517 16473 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 21 0 3899048 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340839445344 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29531] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29531/stat : 29531 (java) S 29517 29517 16473 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 21 0 3899048 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340838392960 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29532] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29532/stat : 29532 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3899052 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340837341264 140341378336667 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29533] ppid=29517 vsize=13335820 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29533/stat : 29533 (java) S 29517 29517 16473 0 -1 1077944384 5587 0 0 0 130 1 0 0 20 0 21 0 3899052 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340836289136 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29534] ppid=29517 vsize=13335820 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29534/stat : 29534 (java) S 29517 29517 16473 0 -1 1077944384 6844 0 0 0 134 1 0 0 20 0 21 0 3899052 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340835236336 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29535] ppid=29517 vsize=13335820 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29535/stat : 29535 (java) S 29517 29517 16473 0 -1 1077944384 5679 0 0 0 121 1 0 0 20 0 21 0 3899052 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340834184048 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29536] ppid=29517 vsize=13335820 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29536/stat : 29536 (java) S 29517 29517 16473 0 -1 1077944384 4576 0 0 0 66 1 0 0 20 0 21 0 3899052 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340833131248 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29537] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29537/stat : 29537 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3899052 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340832078176 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29538] ppid=29517 vsize=13335820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29538/stat : 29538 (java) S 29517 29517 16473 0 -1 1077944384 242 0 0 0 4 4 0 0 20 0 21 0 3899053 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340831025456 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29645] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29645/stat : 29645 (java) S 29517 29517 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3924919 13655879680 2538151 33554432000 4194304 4196468 140721026378416 140340823014848 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
Current children cumulated CPU time (s) 832.88
Current children cumulated vsize (KiB) 13345332
[startup+263.601 s]
/proc/loadavg: 12.51 12.03 13.51 17/294 29645
/proc/meminfo: memFree=19635640/32770624 swapFree=5736/226596
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=13335820 CPUtime=836 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) S 29517 29517 16473 0 -1 1077944320 230163 0 0 0 79735 3865 0 0 20 0 21 0 3899043 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140721026360960 140341378318071 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
/proc/29518/statm: 3333955 2538154 3272 1 0 3321188 0
[pid=29518/tid=29519] ppid=29517 vsize=13335820 CPUtime=175.09 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29519/stat : 29519 (java) S 29517 29517 16473 0 -1 1077944384 12786 0 0 0 17497 12 0 0 20 0 21 0 3899044 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140341382558752 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29521] ppid=29517 vsize=13335820 CPUtime=81.76 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29521/stat : 29521 (java) R 29517 29517 16473 0 -1 4202560 40367 0 0 0 7658 518 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140341345876488 140341370946279 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29522] ppid=29517 vsize=13335820 CPUtime=81.41 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) R 29517 29517 16473 0 -1 4202560 14945 0 0 0 7635 506 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340976880008 140341370946279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29523] ppid=29517 vsize=13335820 CPUtime=81.34 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29523/stat : 29523 (java) S 29517 29517 16473 0 -1 1077944384 13800 0 0 0 7631 503 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340975827408 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29524] ppid=29517 vsize=13335820 CPUtime=81.64 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29524/stat : 29524 (java) R 29517 29517 16473 0 -1 4202560 14792 0 0 0 7749 415 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340974774920 140341370946279 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29525] ppid=29517 vsize=13335820 CPUtime=80.74 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29525/stat : 29525 (java) R 29517 29517 16473 0 -1 4202560 14255 0 0 0 7566 508 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340973722632 140341370946279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29526] ppid=29517 vsize=13335820 CPUtime=81.05 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29526/stat : 29526 (java) R 29517 29517 16473 0 -1 4202560 13865 0 0 0 7584 521 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340972669832 140341361701106 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29527] ppid=29517 vsize=13335820 CPUtime=81.22 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29527/stat : 29527 (java) R 29517 29517 16473 0 -1 4202560 25378 0 0 0 7688 434 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340971617544 140341370946279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29528] ppid=29517 vsize=13335820 CPUtime=81.37 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29528/stat : 29528 (java) R 29517 29517 16473 0 -1 4202560 18935 0 0 0 7706 431 0 0 20 0 21 0 3899045 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340970564824 140341363314475 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29529] ppid=29517 vsize=13335820 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29529/stat : 29529 (java) S 29517 29517 16473 0 -1 1077944384 36688 0 0 0 556 3 0 0 20 0 21 0 3899047 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340840497856 140341378328277 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29530] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29530/stat : 29530 (java) S 29517 29517 16473 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 21 0 3899048 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340839445344 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29531] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29531/stat : 29531 (java) S 29517 29517 16473 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 21 0 3899048 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340838392960 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29532] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29532/stat : 29532 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3899052 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340837341264 140341378336667 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29533] ppid=29517 vsize=13335820 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29533/stat : 29533 (java) S 29517 29517 16473 0 -1 1077944384 5587 0 0 0 130 1 0 0 20 0 21 0 3899052 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340836289136 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29534] ppid=29517 vsize=13335820 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29534/stat : 29534 (java) S 29517 29517 16473 0 -1 1077944384 6844 0 0 0 134 1 0 0 20 0 21 0 3899052 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340835236336 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29535] ppid=29517 vsize=13335820 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29535/stat : 29535 (java) S 29517 29517 16473 0 -1 1077944384 5679 0 0 0 121 1 0 0 20 0 21 0 3899052 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340834184048 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29536] ppid=29517 vsize=13335820 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29536/stat : 29536 (java) S 29517 29517 16473 0 -1 1077944384 4576 0 0 0 66 1 0 0 20 0 21 0 3899052 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340833131248 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29537] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29537/stat : 29537 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3899052 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340832078176 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29538] ppid=29517 vsize=13335820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29538/stat : 29538 (java) S 29517 29517 16473 0 -1 1077944384 242 0 0 0 4 4 0 0 20 0 21 0 3899053 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340831025456 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29645] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29645/stat : 29645 (java) S 29517 29517 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3924919 13655879680 2538154 33554432000 4194304 4196468 140721026378416 140340823014848 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
Current children cumulated CPU time (s) 836
Current children cumulated vsize (KiB) 13345332
[startup+263.801 s]
/proc/loadavg: 12.51 12.03 13.51 17/294 29645
/proc/meminfo: memFree=19635640/32770624 swapFree=5736/226596
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=13335820 CPUtime=836.4 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) S 29517 29517 16473 0 -1 1077944320 230598 0 0 0 79775 3865 0 0 20 0 21 0 3899043 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140721026360960 140341378318071 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
/proc/29518/statm: 3333955 2538159 3272 1 0 3321188 0
[pid=29518/tid=29519] ppid=29517 vsize=13335820 CPUtime=175.09 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29519/stat : 29519 (java) S 29517 29517 16473 0 -1 1077944384 12786 0 0 0 17497 12 0 0 20 0 21 0 3899044 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140341382558752 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29521] ppid=29517 vsize=13335820 CPUtime=81.78 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29521/stat : 29521 (java) S 29517 29517 16473 0 -1 1077944384 40367 0 0 0 7660 518 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140341345876368 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29522] ppid=29517 vsize=13335820 CPUtime=81.44 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) S 29517 29517 16473 0 -1 1077944384 14945 0 0 0 7638 506 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340976879888 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29523] ppid=29517 vsize=13335820 CPUtime=81.37 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29523/stat : 29523 (java) S 29517 29517 16473 0 -1 1077944384 13800 0 0 0 7634 503 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340975827600 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29524] ppid=29517 vsize=13335820 CPUtime=81.67 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29524/stat : 29524 (java) S 29517 29517 16473 0 -1 1077944384 14792 0 0 0 7752 415 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340974774800 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29525] ppid=29517 vsize=13335820 CPUtime=80.76 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29525/stat : 29525 (java) S 29517 29517 16473 0 -1 1077944384 14255 0 0 0 7568 508 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340973722512 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29526] ppid=29517 vsize=13335820 CPUtime=81.08 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29526/stat : 29526 (java) S 29517 29517 16473 0 -1 1077944384 13865 0 0 0 7587 521 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340972669712 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29527] ppid=29517 vsize=13335820 CPUtime=81.25 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29527/stat : 29527 (java) S 29517 29517 16473 0 -1 1077944384 25378 0 0 0 7691 434 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340971617424 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29528] ppid=29517 vsize=13335820 CPUtime=81.4 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29528/stat : 29528 (java) S 29517 29517 16473 0 -1 1077944384 19117 0 0 0 7709 431 0 0 20 0 21 0 3899045 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340970564624 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29529] ppid=29517 vsize=13335820 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29529/stat : 29529 (java) R 29517 29517 16473 0 -1 4202560 36940 0 0 0 573 3 0 0 20 0 21 0 3899047 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340840497744 140341362775674 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29530] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29530/stat : 29530 (java) S 29517 29517 16473 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 21 0 3899048 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340839445344 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29531] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29531/stat : 29531 (java) S 29517 29517 16473 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 21 0 3899048 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340838392960 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29532] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29532/stat : 29532 (java) S 29517 29517 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3899052 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340837341264 140341378336667 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29533] ppid=29517 vsize=13335820 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29533/stat : 29533 (java) S 29517 29517 16473 0 -1 1077944384 5587 0 0 0 130 1 0 0 20 0 21 0 3899052 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340836289184 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29534] ppid=29517 vsize=13335820 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29534/stat : 29534 (java) S 29517 29517 16473 0 -1 1077944384 6845 0 0 0 134 1 0 0 20 0 21 0 3899052 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340835236096 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29535] ppid=29517 vsize=13335820 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29535/stat : 29535 (java) S 29517 29517 16473 0 -1 1077944384 5679 0 0 0 121 1 0 0 20 0 21 0 3899052 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340834184096 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29536] ppid=29517 vsize=13335820 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29536/stat : 29536 (java) S 29517 29517 16473 0 -1 1077944384 4576 0 0 0 66 1 0 0 20 0 21 0 3899052 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340833131296 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29537] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29537/stat : 29537 (java) S 29517 29517 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3899052 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340832078176 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29538] ppid=29517 vsize=13335820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29538/stat : 29538 (java) S 29517 29517 16473 0 -1 1077944384 242 0 0 0 4 4 0 0 20 0 21 0 3899053 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340831025456 140341378329218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
[pid=29518/tid=29645] ppid=29517 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29645/stat : 29645 (java) S 29517 29517 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3924919 13655879680 2538159 33554432000 4194304 4196468 140721026378416 140340823014848 140341378328277 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27291648 140721026385084 140721026385260 140721026385260 140721026387919 0
Current children cumulated CPU time (s) 836.4
Current children cumulated vsize (KiB) 13345332
[startup+263.901 s]
/proc/loadavg: 12.51 12.03 13.51 17/294 29645
/proc/meminfo: memFree=19635640/32770624 swapFree=5736/226596
[pid=29517] ppid=29514 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29517/stat : 29517 (xcsp3-exec) S 29514 29517 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3899043 9740288 345 33554432000 4194304 5098028 140727937421280 140727937419384 139812015682172 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17563648 140727937422479 140727937422688 140727937422688 140727937425387 0
/proc/29517/statm: 2378 345 289 221 0 87 0
[pid=29518] ppid=29517 vsize=0 CPUtime=836.49 cores=1,3,5,7,9,11,13,15
/proc/29518/stat : 29518 (java) Z 29517 29517 16473 0 -1 4227084 230665 0 0 0 79779 3870 0 0 20 0 2 0 3899043 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/29518/statm: 0 0 0 0 0 0 0
[pid=29518/tid=29522] ppid=29517 vsize=0 CPUtime=81.48 cores=1,3,5,7,9,11,13,15
/proc/29518/task/29522/stat : 29522 (java) R 29517 29517 16473 0 -1 4203588 14945 0 0 0 7638 510 0 0 20 0 2 0 3899045 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 836.49
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 263.902
CPU time (s): 836.505
CPU user time (s): 797.8
CPU system time (s): 38.7049
CPU usage (%): 316.976
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 797.8
system time used= 38.7049
maximum resident set size= 10152896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231193
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= 20176
involuntary context switches= 65289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12508 second user time and 2.87704 second system time
The end