runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15159 MiB free)
memory of node 1: 16384 MiB (13469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272619-1502812377/watcher-4272619-1502812377 -o /tmp/evaluation-result-4272619-1502812377/solver-4272619-1502812377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1929897500 HOME/instance-4272619-1502812377.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2739, runsolver pid=2736
[startup+0.100203 s]*
/proc/loadavg: 2.04 2.11 1.93 3/200 2741
/proc/meminfo: memFree=29314756/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13356504 memory=10656 CPUtime=0 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 2419 0 0 0 0 0 0 0 20 0 6 0 35120336 13677060096 2664 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3339126 2664 1203 1 0 3329096 0
[pid=2741/tid=2742] ppid=2739 vsize=13356504 memory=8508281356422317474 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 1328 0 0 0 0 0 0 0 20 0 6 0 35120337 13677060096 2801 18446744073709551615 4194304 4196468 140732009614912 139705162949960 139705139017536 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13356504 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 35120337 13677060096 2801 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13356504 memory=139959534831232 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 35120337 13677060096 2801 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 35120337 13677060096 2801 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 35120337 13677060096 2801 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB
[startup+0.210456 s]*
/proc/loadavg: 2.04 2.11 1.93 2/213 2754
/proc/meminfo: memFree=29305032/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13907304 memory=22140 CPUtime=0.06 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 4921 0 0 0 5 1 0 0 20 0 14 0 35120336 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3476826 5535 2568 1 0 3466323 0
[pid=2741/tid=2742] ppid=2739 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) D 2739 2739 7968 0 -1 4202560 3102 0 0 0 4 0 0 0 20 0 14 0 35120337 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139705162946464 139705158731005 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13907304 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35120337 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13907304 memory=139959535107527 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35120337 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35120337 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35120337 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13907304 memory=139959534831232 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35120339 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 35120339 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704636225184 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 35120339 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704635172080 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35120342 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 35120342 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35120342 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704632015216 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13907304 memory=139959534831232 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) S 2739 2739 7968 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 14 0 35120342 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704630962160 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35120342 14241079296 5535 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23520 KiB
[startup+0.310459 s]*
/proc/loadavg: 2.04 2.11 1.93 3/214 2755
/proc/meminfo: memFree=29296836/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13975376 memory=35176 CPUtime=0.23 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 8446 0 0 0 21 2 0 0 20 0 15 0 35120336 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3493844 8794 2974 1 0 3483220 0
[pid=2741/tid=2742] ppid=2739 vsize=13975376 memory=4278483708103473607 CPUtime=0.14 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 5900 0 0 0 13 1 0 0 20 0 15 0 35120337 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139705162931360 139705151388701 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13975376 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120337 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120337 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35120337 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35120337 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35120339 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35120339 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704636225184 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35120339 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704635172080 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 35120342 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) S 2739 2739 7968 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 35120342 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704632015216 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13975376 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) S 2739 2739 7968 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 35120342 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704630962160 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2755] ppid=2739 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2755/stat : 2755 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120349 14310785024 8794 18446744073709551615 4194304 4196468 140732009614912 139704628857904 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36556 KiB
[startup+0.706322 s]
/proc/loadavg: 2.04 2.11 1.93 4/214 2755
/proc/meminfo: memFree=29281220/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13980732 memory=89592 CPUtime=1.11 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 12383 0 0 0 105 6 0 0 20 0 15 0 35120336 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3495183 22398 3173 1 0 3483476 0
[pid=2741/tid=2742] ppid=2739 vsize=13980732 memory=279918856372464 CPUtime=0.53 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 8493 0 0 0 49 4 0 0 20 0 15 0 35120337 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139705162946208 139704770082292 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13980732 memory=8025788835569559914 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13980732 memory=6900 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13980732 memory=279918856376080 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13980732 memory=2559129421569 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13980732 memory=2563424388865 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13980732 memory=2589194192641 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704636225184 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13980732 memory=2636438832897 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704635172080 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13980732 memory=2679388505857 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13980732 memory=2808237524737 CPUtime=0.17 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 986 0 0 0 17 0 0 0 20 0 15 0 35120342 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13980732 memory=3834734708225 CPUtime=0.13 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) R 2739 2739 7968 0 -1 1077944384 455 0 0 0 13 0 0 0 20 0 15 0 35120342 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704632004816 139705158719189 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13980732 memory=3847619610113 CPUtime=0.24 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) R 2739 2739 7968 0 -1 4202560 1142 0 0 0 24 0 0 0 20 0 15 0 35120342 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704630959096 139705142789470 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13980732 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2755] ppid=2739 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2755/stat : 2755 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120349 14316269568 22398 18446744073709551615 4194304 4196468 140732009614912 139704628857904 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90972 KiB
[startup+1.50083 s]
/proc/loadavg: 2.04 2.11 1.93 6/214 2755
/proc/meminfo: memFree=29145444/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13980732 memory=204040 CPUtime=3.56 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 20154 0 0 0 347 9 0 0 20 0 15 0 35120336 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3495183 51010 3203 1 0 3483476 0
[pid=2741/tid=2742] ppid=2739 vsize=13980732 memory=288230617509003574 CPUtime=1.31 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 8839 0 0 0 126 5 0 0 20 0 15 0 35120337 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139705162947144 139704770901500 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13980732 memory=13847486485759956 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13980732 memory=279918856617280 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13980732 memory=8740 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 35120337 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139704636225184 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 51010 18446744073709551615 4194304 4196468 140732009614912 139704635172080 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13980732 memory=393972 CPUtime=1454.78 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 221037 0 0 0 145201 277 0 0 20 0 15 0 35120336 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3495183 98493 3259 1 0 3483476 0
[pid=2741/tid=2742] ppid=2739 vsize=13980732 memory=4278483708103473607 CPUtime=1398.32 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 49692 0 0 0 139821 11 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705162948400 139704772429613 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13980732 memory=4126316290023845779 CPUtime=11.87 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 16873 0 0 0 1136 51 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13980732 memory=3880 CPUtime=11.89 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 18291 0 0 0 1138 51 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13980732 memory=3868 CPUtime=11.81 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 17721 0 0 0 1129 52 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13980732 memory=3904 CPUtime=11.88 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 17489 0 0 0 1135 53 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13980732 memory=2760 CPUtime=1.01 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 53771 0 0 0 81 20 0 0 20 0 15 0 35120339 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13980732 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704636225248 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704635172096 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13980732 memory=2164 CPUtime=3.23 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 18590 0 0 0 320 3 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13980732 memory=840 CPUtime=3.22 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) S 2739 2739 7968 0 -1 1077944384 17035 0 0 0 320 2 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704632015216 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13980732 memory=4064 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) S 2739 2739 7968 0 -1 1077944384 9213 0 0 0 72 2 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704630962160 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13980732 memory=428324 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2755] ppid=2739 vsize=13980732 memory=960 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2755/stat : 2755 (java) S 2739 2739 7968 0 -1 1077944384 1031 0 0 0 35 39 0 0 20 0 15 0 35120349 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704628857904 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 1454.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 395352 KiB
[startup+1412.4 s]
/proc/loadavg: 1.93 1.83 1.82 3/218 2918
/proc/meminfo: memFree=29096832/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13980732 memory=393972 CPUtime=1455.17 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 221037 0 0 0 145240 277 0 0 20 0 15 0 35120336 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3495183 98493 3259 1 0 3483476 0
[pid=2741/tid=2742] ppid=2739 vsize=13980732 memory=1228 CPUtime=1398.71 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 49692 0 0 0 139860 11 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705162948400 139704774926616 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13980732 memory=1000 CPUtime=11.87 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 16873 0 0 0 1136 51 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13980732 memory=2012 CPUtime=11.89 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 18291 0 0 0 1138 51 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13980732 memory=5520 CPUtime=11.81 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 17721 0 0 0 1129 52 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13980732 memory=4612 CPUtime=11.88 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 17489 0 0 0 1135 53 0 0 20 0 15 0 35120337 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13980732 memory=7680170660397595203 CPUtime=1.01 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 53771 0 0 0 81 20 0 0 20 0 15 0 35120339 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704636225248 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13980732 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704635172096 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13980732 memory=792 CPUtime=3.23 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 18590 0 0 0 320 3 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13980732 memory=8708 CPUtime=3.22 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) S 2739 2739 7968 0 -1 1077944384 17035 0 0 0 320 2 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704632015216 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13980732 memory=1440 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) S 2739 2739 7968 0 -1 1077944384 9213 0 0 0 72 2 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704630962160 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13980732 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2755] ppid=2739 vsize=13980732 memory=4612 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2755/stat : 2755 (java) S 2739 2739 7968 0 -1 1077944384 1031 0 0 0 35 39 0 0 20 0 15 0 35120349 14316269568 98493 18446744073709551615 4194304 4196468 140732009614912 139704628857904 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 1455.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 395352 KiB
[startup+1412.8 s]
/proc/loadavg: 1.93 1.83 1.82 3/218 2918
/proc/meminfo: memFree=29096832/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13980732 memory=392476 CPUtime=1455.6 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 221103 0 0 0 145283 277 0 0 20 0 15 0 35120336 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3495183 98119 3259 1 0 3483476 0
[pid=2741/tid=2742] ppid=2739 vsize=13980732 memory=1152 CPUtime=1399.1 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 49746 0 0 0 139899 11 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705162947776 139704771089254 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13980732 memory=7680170660397595203 CPUtime=11.87 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 16873 0 0 0 1136 51 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13980732 memory=1380 CPUtime=11.9 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 18291 0 0 0 1139 51 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13980732 memory=395512 CPUtime=11.82 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 17727 0 0 0 1130 52 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13980732 memory=4124 CPUtime=11.89 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 17495 0 0 0 1136 53 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13980732 memory=7680170660397595203 CPUtime=1.01 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 53771 0 0 0 81 20 0 0 20 0 15 0 35120339 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704636225248 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704635172096 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13980732 memory=8708 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13980732 memory=1380 CPUtime=3.23 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 18590 0 0 0 320 3 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13980732 memory=1380 CPUtime=3.22 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) S 2739 2739 7968 0 -1 1077944384 17035 0 0 0 320 2 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704632015216 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13980732 memory=397052 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) S 2739 2739 7968 0 -1 1077944384 9213 0 0 0 72 2 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704630962160 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13980732 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2755] ppid=2739 vsize=13980732 memory=928 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2755/stat : 2755 (java) S 2739 2739 7968 0 -1 1077944384 1031 0 0 0 35 39 0 0 20 0 15 0 35120349 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704628857904 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 1455.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 393856 KiB
[startup+1412.9 s]
/proc/loadavg: 1.93 1.83 1.82 3/218 2918
/proc/meminfo: memFree=29096832/32770624 swapFree=67108860/67108860
[pid=2739] ppid=2736 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2739/stat : 2739 (xcsp3-exec) S 2736 2739 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35120327 9740288 345 18446744073709551615 4194304 5098028 140736384295920 140736384294024 139928342524540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31375360 140736384303481 140736384303686 140736384303686 140736384307179 0
/proc/2739/statm: 2378 345 289 221 0 87 0
[pid=2741] ppid=2739 vsize=13980732 memory=392476 CPUtime=1455.7 cores=0,2,4,6
/proc/2741/stat : 2741 (java) S 2739 2739 7968 0 -1 1077944320 221103 0 0 0 145293 277 0 0 20 0 15 0 35120336 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 140732009597456 139705158708983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
/proc/2741/statm: 3495183 98119 3259 1 0 3483476 0
[pid=2741/tid=2742] ppid=2739 vsize=13980732 memory=397052 CPUtime=1399.2 cores=0,2,4,6
/proc/2741/task/2742/stat : 2742 (java) R 2739 2739 7968 0 -1 4202560 49746 0 0 0 139909 11 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705162947664 139704771908862 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2743] ppid=2739 vsize=13980732 memory=401156 CPUtime=11.87 cores=0,2,4,6
/proc/2741/task/2743/stat : 2743 (java) S 2739 2739 7968 0 -1 1077944384 16873 0 0 0 1136 51 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705093143056 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2744] ppid=2739 vsize=13980732 memory=1380 CPUtime=11.9 cores=0,2,4,6
/proc/2741/task/2744/stat : 2744 (java) S 2739 2739 7968 0 -1 1077944384 18291 0 0 0 1139 51 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705092090512 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2745] ppid=2739 vsize=13980732 memory=393972 CPUtime=11.82 cores=0,2,4,6
/proc/2741/task/2745/stat : 2745 (java) S 2739 2739 7968 0 -1 1077944384 17727 0 0 0 1130 52 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705091037456 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2746] ppid=2739 vsize=13980732 memory=393972 CPUtime=11.89 cores=0,2,4,6
/proc/2741/task/2746/stat : 2746 (java) S 2739 2739 7968 0 -1 1077944384 17495 0 0 0 1136 53 0 0 20 0 15 0 35120337 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139705089984912 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2747] ppid=2739 vsize=13980732 memory=1380 CPUtime=1.01 cores=0,2,4,6
/proc/2741/task/2747/stat : 2747 (java) S 2739 2739 7968 0 -1 1077944384 53771 0 0 0 81 20 0 0 20 0 15 0 35120339 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704637278960 139705158720130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2748] ppid=2739 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2748/stat : 2748 (java) S 2739 2739 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704636225248 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2749] ppid=2739 vsize=13980732 memory=415536 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2749/stat : 2749 (java) S 2739 2739 7968 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 35120339 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704635172096 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2750] ppid=2739 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2750/stat : 2750 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704634120656 139705158727579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2751] ppid=2739 vsize=13980732 memory=1200 CPUtime=3.23 cores=0,2,4,6
/proc/2741/task/2751/stat : 2751 (java) S 2739 2739 7968 0 -1 1077944384 18590 0 0 0 320 3 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704633067760 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2752] ppid=2739 vsize=13980732 memory=15872 CPUtime=3.22 cores=0,2,4,6
/proc/2741/task/2752/stat : 2752 (java) S 2739 2739 7968 0 -1 1077944384 17035 0 0 0 320 2 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704632015216 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2753] ppid=2739 vsize=13980732 memory=1380 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2753/stat : 2753 (java) S 2739 2739 7968 0 -1 1077944384 9213 0 0 0 72 2 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704630962160 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2754] ppid=2739 vsize=13980732 memory=393972 CPUtime=0 cores=0,2,4,6
/proc/2741/task/2754/stat : 2754 (java) S 2739 2739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35120342 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704629909856 139705158719189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
[pid=2741/tid=2755] ppid=2739 vsize=13980732 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/2741/task/2755/stat : 2755 (java) S 2739 2739 7968 0 -1 1077944384 1031 0 0 0 35 39 0 0 20 0 15 0 35120349 14316269568 98119 18446744073709551615 4194304 4196468 140732009614912 139704628857904 139705158720130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140732009619890 140732009620066 140732009620066 140732009623503 0
Current children cumulated CPU time: 1455.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 393856 KiB
Child status: 0
Real time (s): 1412.97
CPU time (s): 1455.79
CPU user time (s): 1453.01
CPU system time (s): 2.78421
CPU usage (%): 103.03
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 549176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1453.01
system time used= 2.78421
maximum resident set size= 551304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51507
involuntary context switches= 3167
# summary of solver processes directly reported to runsolver:
# pid: 2739
# total CPU time (s): 1455.79
# total CPU user time (s): 1453.01
# total CPU system time (s): 2.78421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03557 second user time and 14.0455 second system time
The end