2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	4	18.1997	4.45275
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 (7411 MiB free)
  memory of node 1: 16384 MiB (6442 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404904-1569003339/watcher-4404904-1569003339 -o /var/tmp/evaluation-result-4404904-1569003339/solver-4404904-1569003339 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1288214486 HOME/instance-4404904-1569003339.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Starting watchdog thread
solver pid=24137, runsolver pid=24134
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 8.17 8.43 8.38 2/212 24158
/proc/meminfo: memFree=14169700/32770624 swapFree=66972360/67108860
[pid=24137] ppid=24134 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24137/stat : 24137 (xcsp3-exec) S 24134 24137 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476275797 115843072 364 33554432000 4194304 5098028 140734308661536 140734308659640 139691379094140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9461760 140734308668247 140734308668506 140734308668506 140734308671430 0
/proc/24137/statm: 28282 364 305 221 0 87 0
[pid=24139] ppid=24137 vsize=28227396 memory=28756 CPUtime=0.12 cores=0-7
/proc/24139/stat : 24139 (java) S 24137 24137 16074 0 -1 1077944320 5682 0 0 0 11 1 0 0 20 0 20 0 476275797 28904853504 7189 33554432000 4194304 4196468 140734245439632 140734245422176 140277760495351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
/proc/24139/statm: 7056849 7189 3122 1 0 7019032 0
[pid=24139/tid=24140] ppid=24137 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) R 24137 24137 16074 0 -1 4202560 3603 0 0 0 8 1 0 0 20 0 20 0 476275797 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277764726592 140277760507286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28227396 memory=140378280789632 CPUtime=0 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24143/stat : 24143 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277310065680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24144] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24144/stat : 24144 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277309013136 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24145] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24145/stat : 24145 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277307959568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24146] ppid=24137 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24139/task/24146/stat : 24146 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277306907024 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24147] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24147/stat : 24147 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277305854480 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24148] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24148/stat : 24148 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277304801936 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24149] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24149/stat : 24149 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275799 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277261515248 140277760506498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24150] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24150/stat : 24150 (java) S 24137 24137 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476275800 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277260461472 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24151] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24151/stat : 24151 (java) S 24137 24137 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476275800 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277259408880 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24152] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24152/stat : 24152 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275802 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277258357456 140277760513947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24153] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24153/stat : 24153 (java) R 24137 24137 16074 0 -1 4202560 309 0 0 0 0 0 0 0 20 0 20 0 476275802 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277257295696 140277739644040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24154] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24154/stat : 24154 (java) S 24137 24137 16074 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476275802 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277139499120 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24155] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24155/stat : 24155 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275803 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277138446576 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24156] ppid=24137 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24139/task/24156/stat : 24156 (java) R 24137 24137 16074 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 20 0 476275803 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277137394032 140277760507286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24157] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24157/stat : 24157 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275803 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277136341728 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24158] ppid=24137 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24139/task/24158/stat : 24158 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275803 28904853504 7189 33554432000 4194304 4196468 140734245439632 140277135289264 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30212 KiB

[startup+0.211015 s]*
/proc/loadavg: 8.17 8.43 8.38 3/212 24158
/proc/meminfo: memFree=14145860/32770624 swapFree=66972360/67108860
[pid=24137] ppid=24134 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24137/stat : 24137 (xcsp3-exec) S 24134 24137 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476275797 115843072 364 33554432000 4194304 5098028 140734308661536 140734308659640 139691379094140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9461760 140734308668247 140734308668506 140734308668506 140734308671430 0
/proc/24137/statm: 28282 364 305 221 0 87 0
[pid=24139] ppid=24137 vsize=28227396 memory=41400 CPUtime=0.33 cores=0-7
/proc/24139/stat : 24139 (java) S 24137 24137 16074 0 -1 1077944320 9555 0 0 0 30 3 0 0 20 0 20 0 476275797 28904853504 10350 33554432000 4194304 4196468 140734245439632 140734245422176 140277760495351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
/proc/24139/statm: 7056849 10350 3305 1 0 7019032 0
[pid=24139/tid=24140] ppid=24137 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) R 24137 24137 16074 0 -1 4202560 6630 0 0 0 17 2 0 0 20 0 20 0 476275797 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277764729232 140277742944756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28227396 memory=4120991453269952160 CPUtime=0 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24139/task/24143/stat : 24143 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277310065680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24144] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24144/stat : 24144 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277309013136 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24145] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24145/stat : 24145 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277307959568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24146] ppid=24137 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24139/task/24146/stat : 24146 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277306907024 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24147] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24147/stat : 24147 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277305854480 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24148] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24148/stat : 24148 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275798 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277304801936 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24149] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24149/stat : 24149 (java) S 24137 24137 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476275799 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277261515248 140277760506498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24150] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24150/stat : 24150 (java) S 24137 24137 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476275800 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277260461472 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24151] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24151/stat : 24151 (java) S 24137 24137 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476275800 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277259408880 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24152] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24152/stat : 24152 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275802 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277258357456 140277760513947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24153] ppid=24137 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24139/task/24153/stat : 24153 (java) S 24137 24137 16074 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 476275802 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277257304048 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24154] ppid=24137 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24139/task/24154/stat : 24154 (java) S 24137 24137 16074 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 20 0 476275802 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277139499120 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24155] ppid=24137 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/24139/task/24155/stat : 24155 (java) R 24137 24137 16074 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 20 0 476275803 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277138446576 140277760506498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24156] ppid=24137 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/24139/task/24156/stat : 24156 (java) R 24137 24137 16074 0 -1 4202560 797 0 0 0 7 0 0 0 20 0 20 0 476275803 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277137394160 140277744575364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24157] ppid=24137 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24157/stat : 24157 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275803 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277136341728 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24158] ppid=24137 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24139/task/24158/stat : 24158 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275803 28904853504 10350 33554432000 4194304 4196468 140734245439632 140277135289264 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42856 KiB

[startup+0.310962 s]*
/proc/loadavg: 8.17 8.43 8.38 5/212 24158
/proc/meminfo: memFree=14144080/32770624 swapFree=66972360/67108860
[pid=24137] ppid=24134 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24137/stat : 24137 (xcsp3-exec) S 24134 24137 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476275797 115843072 364 33554432000 4194304 5098028 140734308661536 140734308659640 139691379094140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9461760 140734308668247 140734308668506 140734308668506 140734308671430 0
/proc/24137/statm: 28282 364 305 221 0 87 0
[pid=24139] ppid=24137 vsize=28231652 memory=50092 CPUtime=0.52 cores=0-7
/proc/24139/stat : 24139 (java) S 24137 24137 16074 0 -1 1077944320 10849 0 0 0 48 4 0 0 20 0 20 0 476275797 28909211648 12523 33554432000 4194304 4196468 140734245439632 140734245422176 140277760495351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
/proc/24139/statm: 7057913 12523 3348 1 0 7019032 0
[pid=24139/tid=24140] ppid=24137 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) R 24137 24137 16074 0 -1 4202560 7758 0 0 0 26 3 0 0 20 0 20 0 476275797 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277764729136 140277744575838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24143/stat : 24143 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277310065680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24144] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24144/stat : 24144 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277309013136 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24145] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24145/stat : 24145 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277307959568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24146] ppid=24137 vsize=28231652 memory=140378120481455 CPUtime=0 cores=0-7
/proc/24139/task/24146/stat : 24146 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277306907024 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24147] ppid=24137 vsize=28231652 memory=140378120483760 CPUtime=0 cores=0-7
/proc/24139/task/24147/stat : 24147 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277305854480 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24148] ppid=24137 vsize=28231652 memory=140378120486064 CPUtime=0 cores=0-7
/proc/24139/task/24148/stat : 24148 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275798 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277304801936 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24149] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24149/stat : 24149 (java) S 24137 24137 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476275799 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277261515248 140277760506498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24150] ppid=24137 vsize=28231652 memory=280756240986000 CPUtime=0 cores=0-7
/proc/24139/task/24150/stat : 24150 (java) S 24137 24137 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476275800 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277260461472 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24151] ppid=24137 vsize=28231652 memory=280756240983696 CPUtime=0 cores=0-7
/proc/24139/task/24151/stat : 24151 (java) S 24137 24137 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476275800 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277259408880 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24152] ppid=24137 vsize=28231652 memory=280756240990608 CPUtime=0 cores=0-7
/proc/24139/task/24152/stat : 24152 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275802 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277258357456 140277760513947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24153] ppid=24137 vsize=28231652 memory=280756240931888 CPUtime=0.03 cores=0-7
/proc/24139/task/24153/stat : 24153 (java) R 24137 24137 16074 0 -1 4202560 517 0 0 0 3 0 0 0 20 0 20 0 476275802 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277257304048 140277742018327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24154] ppid=24137 vsize=28231652 memory=280756241004432 CPUtime=0.02 cores=0-7
/proc/24139/task/24154/stat : 24154 (java) S 24137 24137 16074 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 476275802 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277139499120 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24155] ppid=24137 vsize=28231652 memory=280756241011344 CPUtime=0.02 cores=0-7
/proc/24139/task/24155/stat : 24155 (java) S 24137 24137 16074 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 476275803 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277138446576 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24156] ppid=24137 vsize=28231652 memory=280756241009040 CPUtime=0.12 cores=0-7
/proc/24139/task/24156/stat : 24156 (java) S 24137 24137 16074 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 20 0 476275803 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277137394032 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24157] ppid=24137 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24157/stat : 24157 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275803 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277136341728 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24158] ppid=24137 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24139/task/24158/stat : 24158 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275803 28909211648 12523 33554432000 4194304 4196468 140734245439632 140277135289264 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51548 KiB

[startup+0.70108 s]
/proc/loadavg: 8.17 8.43 8.38 5/212 24158
/proc/meminfo: memFree=14128368/32770624 swapFree=66972360/67108860
[pid=24137] ppid=24134 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24137/stat : 24137 (xcsp3-exec) S 24134 24137 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476275797 115843072 364 33554432000 4194304 5098028 140734308661536 140734308659640 139691379094140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9461760 140734308668247 140734308668506 140734308668506 140734308671430 0
/proc/24137/statm: 28282 364 305 221 0 87 0
[pid=24139] ppid=24137 vsize=28233776 memory=116672 CPUtime=1.92 cores=0-7
/proc/24139/stat : 24139 (java) S 24137 24137 16074 0 -1 1077944320 15773 0 0 0 186 6 0 0 20 0 20 0 476275797 28911386624 29168 33554432000 4194304 4196468 140734245439632 140734245422176 140277760495351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
/proc/24139/statm: 7058444 29168 3451 1 0 7019544 0
[pid=24139/tid=24140] ppid=24137 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) R 24137 24137 16074 0 -1 4202560 8387 0 0 0 63 4 0 0 20 0 20 0 476275797 28911386624 29168 33554432000 4194304 4196468 140734245439632 140277764733760 140277760507286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28233776 memory=140378120692592 CPUtime=0 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28911386624 29168 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476275798 28911386624 29168 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28233776 memory=1200 CPUtime=0 cores=0-7

################
# More data... #
################

[pid=24139/tid=24140] ppid=24137 vsize=28233776 memory=1200 CPUtime=3.05 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) R 24137 24137 16074 0 -1 4202560 11778 0 0 0 294 11 0 0 20 0 20 0 476275797 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277764725520 140277760507286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28233776 memory=5996 CPUtime=0.09 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 160 0 0 0 6 3 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28233776 memory=14012 CPUtime=0.08 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 141 0 0 0 6 2 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28233776 memory=19508 CPUtime=0.08 cores=0-7
/proc/24139/task/24143/stat : 24143 (java) S 24137 24137 16074 0 -1 1077944384 175 0 0 0 5 3 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277310065680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24144] ppid=24137 vsize=28233776 memory=12024 CPUtime=0.07 cores=0-7
/proc/24139/task/24144/stat : 24144 (java) S 24137 24137 16074 0 -1 1077944384 161 0 0 0 5 2 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277309013136 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24145] ppid=24137 vsize=28233776 memory=619468 CPUtime=0.08 cores=0-7
/proc/24139/task/24145/stat : 24145 (java) S 24137 24137 16074 0 -1 1077944384 128 0 0 0 6 2 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277307959568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24146] ppid=24137 vsize=28233776 memory=3612 CPUtime=0.07 cores=0-7
/proc/24139/task/24146/stat : 24146 (java) S 24137 24137 16074 0 -1 1077944384 441 0 0 0 5 2 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277306907024 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24147] ppid=24137 vsize=28233776 memory=43412 CPUtime=0.08 cores=0-7
/proc/24139/task/24147/stat : 24147 (java) S 24137 24137 16074 0 -1 1077944384 136 0 0 0 6 2 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277305854480 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24148] ppid=24137 vsize=28233776 memory=992 CPUtime=0.08 cores=0-7
/proc/24139/task/24148/stat : 24148 (java) S 24137 24137 16074 0 -1 1077944384 125 0 0 0 6 2 0 0 20 0 20 0 476275798 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277304801936 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24149] ppid=24137 vsize=28233776 memory=2044 CPUtime=0.01 cores=0-7
/proc/24139/task/24149/stat : 24149 (java) S 24137 24137 16074 0 -1 1077944384 652 0 0 0 1 0 0 0 20 0 20 0 476275799 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277261515248 140277760506498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24150] ppid=24137 vsize=28233776 memory=1432 CPUtime=0 cores=0-7
/proc/24139/task/24150/stat : 24150 (java) S 24137 24137 16074 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 476275800 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277260461536 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24151] ppid=24137 vsize=28233776 memory=11624 CPUtime=0 cores=0-7
/proc/24139/task/24151/stat : 24151 (java) S 24137 24137 16074 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 476275800 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277259408896 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24152] ppid=24137 vsize=28233776 memory=740 CPUtime=0 cores=0-7
/proc/24139/task/24152/stat : 24152 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476275802 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277258357456 140277760513947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24153] ppid=24137 vsize=28233776 memory=1056 CPUtime=1.74 cores=0-7
/proc/24139/task/24153/stat : 24153 (java) R 24137 24137 16074 0 -1 4202560 4838 0 0 0 173 1 0 0 20 0 20 0 476275802 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277257304048 140277743982160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24154] ppid=24137 vsize=28233776 memory=1552 CPUtime=1.75 cores=0-7
/proc/24139/task/24154/stat : 24154 (java) R 24137 24137 16074 0 -1 4202560 6414 0 0 0 174 1 0 0 20 0 20 0 476275802 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277139499120 140277744005123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24155] ppid=24137 vsize=28233776 memory=4481 CPUtime=1.72 cores=0-7
/proc/24139/task/24155/stat : 24155 (java) S 24137 24137 16074 0 -1 1077944384 5701 0 0 0 170 2 0 0 20 0 20 0 476275803 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277138446576 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24156] ppid=24137 vsize=28233776 memory=4420 CPUtime=0.63 cores=0-7
/proc/24139/task/24156/stat : 24156 (java) S 24137 24137 16074 0 -1 1077944384 3549 0 0 0 62 1 0 0 20 0 20 0 476275803 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277137394032 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24157] ppid=24137 vsize=28233776 memory=1456 CPUtime=0 cores=0-7
/proc/24139/task/24157/stat : 24157 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476275803 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277136341728 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24158] ppid=24137 vsize=28233776 memory=135352 CPUtime=0 cores=0-7
/proc/24139/task/24158/stat : 24158 (java) S 24137 24137 16074 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 476275803 28911386624 167112 33554432000 4194304 4196468 140734245439632 140277135289264 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
Current children cumulated CPU time: 9.69 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 669904 KiB

[startup+4.00176 s]*
/proc/loadavg: 8.17 8.43 8.38 5/220 24206
/proc/meminfo: memFree=13526132/32770624 swapFree=66972360/67108860
[pid=24137] ppid=24134 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24137/stat : 24137 (xcsp3-exec) S 24134 24137 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476275797 115843072 364 33554432000 4194304 5098028 140734308661536 140734308659640 139691379094140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9461760 140734308668247 140734308668506 140734308668506 140734308671430 0
/proc/24137/statm: 28282 364 305 221 0 87 0
[pid=24139] ppid=24137 vsize=28768336 memory=676068 CPUtime=15.07 cores=0-7
/proc/24139/stat : 24139 (java) S 24137 24137 16074 0 -1 1077944320 38733 0 0 0 1464 43 0 0 20 0 28 0 476275797 29458776064 169017 33554432000 4194304 4196468 140734245439632 140734245422176 140277760495351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
/proc/24139/statm: 7192084 169017 3535 1 0 7153184 0
[pid=24139/tid=24140] ppid=24137 vsize=28768336 memory=8317482817917895235 CPUtime=3.07 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) S 24137 24137 16074 0 -1 1077944384 11881 0 0 0 296 11 0 0 20 0 28 0 476275797 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277764736128 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28768336 memory=4872558044660077418 CPUtime=0.09 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 160 0 0 0 6 3 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28768336 memory=1040 CPUtime=0.08 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 141 0 0 0 6 2 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28768336 memory=3644 CPUtime=0.08 cores=0-7
/proc/24139/task/24143/stat : 24143 (java) S 24137 24137 16074 0 -1 1077944384 175 0 0 0 5 3 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277310065680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24144] ppid=24137 vsize=28768336 memory=780 CPUtime=0.07 cores=0-7
/proc/24139/task/24144/stat : 24144 (java) S 24137 24137 16074 0 -1 1077944384 161 0 0 0 5 2 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277309013136 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24145] ppid=24137 vsize=28768336 memory=2832 CPUtime=0.08 cores=0-7
/proc/24139/task/24145/stat : 24145 (java) S 24137 24137 16074 0 -1 1077944384 128 0 0 0 6 2 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277307959568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24146] ppid=24137 vsize=28768336 memory=-2026666227646606628 CPUtime=0.07 cores=0-7
/proc/24139/task/24146/stat : 24146 (java) S 24137 24137 16074 0 -1 1077944384 441 0 0 0 5 2 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277306907024 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24147] ppid=24137 vsize=28768336 memory=-8412661042843906680 CPUtime=0.08 cores=0-7
/proc/24139/task/24147/stat : 24147 (java) S 24137 24137 16074 0 -1 1077944384 136 0 0 0 6 2 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277305854480 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24148] ppid=24137 vsize=28768336 memory=-8412661042843906680 CPUtime=0.08 cores=0-7
/proc/24139/task/24148/stat : 24148 (java) S 24137 24137 16074 0 -1 1077944384 125 0 0 0 6 2 0 0 20 0 28 0 476275798 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277304801936 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24149] ppid=24137 vsize=28768336 memory=3047711488493330315 CPUtime=0.01 cores=0-7
/proc/24139/task/24149/stat : 24149 (java) S 24137 24137 16074 0 -1 1077944384 652 0 0 0 1 0 0 0 20 0 28 0 476275799 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277261515248 140277760506498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24150] ppid=24137 vsize=28768336 memory=-3042783220307104087 CPUtime=0 cores=0-7
/proc/24139/task/24150/stat : 24150 (java) S 24137 24137 16074 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476275800 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277260461536 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24151] ppid=24137 vsize=28768336 memory=7900382160081927007 CPUtime=0 cores=0-7
/proc/24139/task/24151/stat : 24151 (java) S 24137 24137 16074 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476275800 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277259408896 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24152] ppid=24137 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/24139/task/24152/stat : 24152 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476275802 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277258357456 140277760513947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24153] ppid=24137 vsize=28768336 memory=6931104011862691936 CPUtime=2.41 cores=0-7
/proc/24139/task/24153/stat : 24153 (java) R 24137 24137 16074 0 -1 4202560 5392 0 0 0 240 1 0 0 20 0 28 0 476275802 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277257293264 140277741196457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24154] ppid=24137 vsize=28768336 memory=5795117241467496816 CPUtime=2.39 cores=0-7
/proc/24139/task/24154/stat : 24154 (java) R 24137 24137 16074 0 -1 4202560 6722 0 0 0 237 2 0 0 20 0 28 0 476275802 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277139487920 140277743981301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24155] ppid=24137 vsize=28768336 memory=7512121106979906204 CPUtime=2.39 cores=0-7
/proc/24139/task/24155/stat : 24155 (java) R 24137 24137 16074 0 -1 4202560 6220 0 0 0 237 2 0 0 20 0 28 0 476275803 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277138427904 140277743970601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24156] ppid=24137 vsize=28768336 memory=0 CPUtime=0.81 cores=0-7
/proc/24139/task/24156/stat : 24156 (java) S 24137 24137 16074 0 -1 1077944384 3879 0 0 0 80 1 0 0 20 0 28 0 476275803 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277137394032 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24157] ppid=24137 vsize=28768336 memory=280756241116752 CPUtime=0 cores=0-7
/proc/24139/task/24157/stat : 24157 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476275803 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277136341728 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24158] ppid=24137 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24158/stat : 24158 (java) S 24137 24137 16074 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 476275803 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277135289264 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24199] ppid=24137 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/24139/task/24199/stat : 24199 (java) S 24137 24137 16074 0 -1 1077944384 20 0 0 0 5 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140276920213504 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24200] ppid=24137 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/24139/task/24200/stat : 24200 (java) S 24137 24137 16074 0 -1 1077944384 16 0 0 0 2 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277125260880 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24201] ppid=24137 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/24139/task/24201/stat : 24201 (java) R 24137 24137 16074 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277126311784 140277407098069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24202] ppid=24137 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/24139/task/24202/stat : 24202 (java) S 24137 24137 16074 0 -1 1077944384 17 0 0 0 5 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140276919161680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24203] ppid=24137 vsize=28768336 memory=7020451891090895690 CPUtime=0.05 cores=0-7
/proc/24139/task/24203/stat : 24203 (java) S 24137 24137 16074 0 -1 1077944384 17 0 0 0 5 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277124207568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24204] ppid=24137 vsize=28768336 memory=6944656575208382560 CPUtime=0.04 cores=0-7
/proc/24139/task/24204/stat : 24204 (java) S 24137 24137 16074 0 -1 1077944384 17 0 0 0 4 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140276917056592 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24205] ppid=24137 vsize=28768336 memory=4634274592177799264 CPUtime=0.02 cores=0-7
/proc/24139/task/24205/stat : 24205 (java) S 24137 24137 16074 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 476276191 29458776064 169017 33554432000 4194304 4196468 140734245439632 140276918109392 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24206] ppid=24137 vsize=28768336 memory=-8253362664378449550 CPUtime=0.01 cores=0-7
/proc/24139/task/24206/stat : 24206 (java) S 24137 24137 16074 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 476276193 29458776064 169017 33554432000 4194304 4196468 140734245439632 140277123155280 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 677524 KiB

[startup+4.41076 s]
/proc/loadavg: 8.17 8.43 8.38 5/220 24206
/proc/meminfo: memFree=13526132/32770624 swapFree=66972360/67108860
[pid=24137] ppid=24134 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24137/stat : 24137 (xcsp3-exec) S 24134 24137 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476275797 115843072 364 33554432000 4194304 5098028 140734308661536 140734308659640 139691379094140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9461760 140734308668247 140734308668506 140734308668506 140734308671430 0
/proc/24137/statm: 28282 364 305 221 0 87 0
[pid=24139] ppid=24137 vsize=28768336 memory=718784 CPUtime=18.05 cores=0-7
/proc/24139/stat : 24139 (java) S 24137 24137 16074 0 -1 1077944320 40257 0 0 0 1751 54 0 0 20 0 28 0 476275797 29458776064 179696 33554432000 4194304 4196468 140734245439632 140734245422176 140277760495351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
/proc/24139/statm: 7192084 179696 3536 1 0 7153184 0
[pid=24139/tid=24140] ppid=24137 vsize=28768336 memory=140381006071339 CPUtime=3.07 cores=0-7
/proc/24139/task/24140/stat : 24140 (java) S 24137 24137 16074 0 -1 1077944384 11884 0 0 0 296 11 0 0 20 0 28 0 476275797 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277764736128 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24141] ppid=24137 vsize=28768336 memory=140381006071453 CPUtime=0.11 cores=0-7
/proc/24139/task/24141/stat : 24141 (java) S 24137 24137 16074 0 -1 1077944384 175 0 0 0 7 4 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277312170768 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24142] ppid=24137 vsize=28768336 memory=140381006071941 CPUtime=0.1 cores=0-7
/proc/24139/task/24142/stat : 24142 (java) S 24137 24137 16074 0 -1 1077944384 156 0 0 0 7 3 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277311118224 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24143] ppid=24137 vsize=28768336 memory=140381006071942 CPUtime=0.1 cores=0-7
/proc/24139/task/24143/stat : 24143 (java) S 24137 24137 16074 0 -1 1077944384 198 0 0 0 7 3 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277310065680 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24144] ppid=24137 vsize=28768336 memory=140381006071967 CPUtime=0.1 cores=0-7
/proc/24139/task/24144/stat : 24144 (java) S 24137 24137 16074 0 -1 1077944384 180 0 0 0 6 4 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277309013136 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24145] ppid=24137 vsize=28768336 memory=149855703926943 CPUtime=0.12 cores=0-7
/proc/24139/task/24145/stat : 24145 (java) S 24137 24137 16074 0 -1 1077944384 147 0 0 0 8 4 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277307959568 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24146] ppid=24137 vsize=28768336 memory=140381006072093 CPUtime=0.1 cores=0-7
/proc/24139/task/24146/stat : 24146 (java) S 24137 24137 16074 0 -1 1077944384 461 0 0 0 7 3 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277306907024 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24147] ppid=24137 vsize=28768336 memory=140381006072163 CPUtime=0.1 cores=0-7
/proc/24139/task/24147/stat : 24147 (java) S 24137 24137 16074 0 -1 1077944384 151 0 0 0 7 3 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277305854480 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24148] ppid=24137 vsize=28768336 memory=140381006072185 CPUtime=0.12 cores=0-7
/proc/24139/task/24148/stat : 24148 (java) S 24137 24137 16074 0 -1 1077944384 142 0 0 0 8 4 0 0 20 0 28 0 476275798 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277304801936 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24149] ppid=24137 vsize=28768336 memory=150697517530826 CPUtime=0.01 cores=0-7
/proc/24139/task/24149/stat : 24149 (java) S 24137 24137 16074 0 -1 1077944384 658 0 0 0 1 0 0 0 20 0 28 0 476275799 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277261515248 140277760506498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24150] ppid=24137 vsize=28768336 memory=280756241273376 CPUtime=0 cores=0-7
/proc/24139/task/24150/stat : 24150 (java) S 24137 24137 16074 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476275800 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277260461536 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24151] ppid=24137 vsize=28768336 memory=140378120465424 CPUtime=0 cores=0-7
/proc/24139/task/24151/stat : 24151 (java) S 24137 24137 16074 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476275800 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277259408896 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24152] ppid=24137 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24139/task/24152/stat : 24152 (java) S 24137 24137 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476275802 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277258357456 140277760513947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24153] ppid=24137 vsize=28768336 memory=0 CPUtime=2.68 cores=0-7
/proc/24139/task/24153/stat : 24153 (java) R 24137 24137 16074 0 -1 4202560 5647 0 0 0 267 1 0 0 20 0 28 0 476275802 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277257289984 140277743995557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24154] ppid=24137 vsize=28768336 memory=0 CPUtime=2.63 cores=0-7
/proc/24139/task/24154/stat : 24154 (java) R 24137 24137 16074 0 -1 4202560 6784 0 0 0 261 2 0 0 20 0 28 0 476275802 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277139488512 140277745377280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24155] ppid=24137 vsize=28768336 memory=280756240777456 CPUtime=2.62 cores=0-7
/proc/24139/task/24155/stat : 24155 (java) R 24137 24137 16074 0 -1 4202560 6864 0 0 0 260 2 0 0 20 0 28 0 476275803 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277138432600 140277742017575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24156] ppid=24137 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7
/proc/24139/task/24156/stat : 24156 (java) S 24137 24137 16074 0 -1 1077944384 3898 0 0 0 82 1 0 0 20 0 28 0 476275803 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277137394032 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24157] ppid=24137 vsize=28768336 memory=2868665472214376 CPUtime=0 cores=0-7
/proc/24139/task/24157/stat : 24157 (java) S 24137 24137 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476275803 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277136341728 140277760505557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
[pid=24139/tid=24158] ppid=24137 vsize=28768336 memory=-3395018494902226719 CPUtime=0 cores=0-7
/proc/24139/task/24158/stat : 24158 (java) S 24137 24137 16074 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 476275803 29458776064 179696 33554432000 4194304 4196468 140734245439632 140277135289264 140277760506498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140734245446620 140734245446795 140734245446795 140734245449679 0
Current children cumulated CPU time: 18.05 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 720240 KiB

Child status: 0
Real time (s): 4.45275
CPU time (s): 18.1997
CPU user time (s): 17.6451
CPU system time (s): 0.554553
CPU usage (%): 408.729
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 720240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6451
system time used= 0.554553
maximum resident set size= 719700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4885
involuntary context switches= 277


# summary of solver processes directly reported to runsolver:
#   pid: 24137
#   total CPU time (s): 18.1997
#   total CPU user time (s): 17.6451
#   total CPU system time (s): 0.554553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060906 second user time and 0.089259 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml
MD5SUM	4c5949db6bfbca6a63c3d4670a37bb2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	1.93663
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9803
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	28
Maximum variable degree	67
Distribution of variable degrees	[{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9803}]
Number of extensional constraints	0
Number of intensional constraints	9803
Distribution of constraint types	[{"type":"intension","count":9803}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404904

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
