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 (10733 MiB free)
memory of node 1: 16384 MiB (14087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302197-1532889614/watcher-4302197-1532889614 -o /tmp/evaluation-result-4302197-1532889614/solver-4302197-1532889614 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 1163787239 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302197-1532889614.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12048, runsolver pid=12045
[startup+0.100137 s]*
/proc/loadavg: 2.07 2.06 2.05 3/218 12064
/proc/meminfo: memFree=25399552/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14082940 memory=28772 CPUtime=0.12 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 5558 0 0 0 11 1 0 0 20 0 15 0 106524257 14420930560 7193 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3520735 7193 3023 1 0 3483012 0
[pid=12050/tid=12051] ppid=12048 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 15 0 106524257 14420930560 7193 33554432000 4194304 4196468 140733453471008 140203146822448 140202779786272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14082940 memory=140155927185024 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14082940 memory=140155927185024 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524259 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 106524263 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14082940 memory=140155927185024 CPUtime=0.01 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) R 12048 12048 6529 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 106524263 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202115902320 140203123810541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14082940 memory=140155927185024 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524263 14420930560 7193 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30228 KiB
[startup+0.211086 s]*
/proc/loadavg: 2.07 2.06 2.05 4/218 12064
/proc/meminfo: memFree=25387536/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14082940 memory=41276 CPUtime=0.34 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 8358 0 0 0 32 2 0 0 20 0 15 0 106524257 14420930560 10319 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3520735 10319 3208 1 0 3483012 0
[pid=12050/tid=12051] ppid=12048 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) D 12048 12048 6529 0 -1 1077944384 5482 0 0 0 18 1 0 0 20 0 15 0 106524257 14420930560 10385 33554432000 4194304 4196468 140733453471008 140203146812344 140203144865479 0 4 0 16800975 18446744072101572132 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14082940 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14420930560 10385 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14082940 memory=140155927197326 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14420930560 10385 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14423097344 10385 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14423097344 10385 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14085056 memory=140155927185024 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106524259 14423097344 10385 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14423097344 10385 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14423097344 10385 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14425288704 10388 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 749 0 0 0 3 0 0 0 20 0 15 0 106524263 14425288704 10388 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14087196 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 106524263 14425288704 10388 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14087196 memory=140155927185024 CPUtime=0.08 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) S 12048 12048 6529 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 106524263 14425288704 10388 33554432000 4194304 4196468 140733453471008 140202115902320 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14425288704 10388 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524263 14425288704 10388 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42732 KiB
[startup+0.310567 s]*
/proc/loadavg: 2.07 2.06 2.05 3/218 12064
/proc/meminfo: memFree=25381208/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14087196 memory=47812 CPUtime=0.51 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 9137 0 0 0 48 3 0 0 20 0 15 0 106524257 14425288704 11953 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3521799 11953 3238 1 0 3483012 0
[pid=12050/tid=12051] ppid=12048 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 4202560 6183 0 0 0 27 2 0 0 20 0 15 0 106524257 14425288704 12018 33554432000 4194304 4196468 140733453471008 140203146823984 140203142612125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106524259 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 758 0 0 0 5 0 0 0 20 0 15 0 106524263 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 91 0 0 0 3 0 0 0 20 0 15 0 106524263 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) S 12048 12048 6529 0 -1 1077944384 803 0 0 0 12 0 0 0 20 0 15 0 106524263 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202115902320 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524263 14425288704 12018 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49268 KiB
[startup+0.703395 s]
/proc/loadavg: 2.06 2.06 2.05 4/218 12064
/proc/meminfo: memFree=25369980/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14089320 memory=74620 CPUtime=1.56 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 13407 0 0 0 152 4 0 0 20 0 15 0 106524257 14427463680 18655 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3522330 18655 3353 1 0 3483524 0
[pid=12050/tid=12051] ppid=12048 vsize=14089320 memory=30436 CPUtime=0.67 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 1077944384 7085 0 0 0 64 3 0 0 20 0 15 0 106524257 14427463680 18655 33554432000 4194304 4196468 140733453471008 140203146826032 140203142600405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106524259 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14089320 memory=8556 CPUtime=0.25 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) R 12048 12048 6529 0 -1 4202560 1895 0 0 0 25 0 0 0 20 0 15 0 106524263 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202117994768 140203142611546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14089320 memory=1444 CPUtime=0.25 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) R 12048 12048 6529 0 -1 4202560 1224 0 0 0 25 0 0 0 20 0 15 0 106524263 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202116945440 140203126076149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14089320 memory=5668 CPUtime=0.36 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) S 12048 12048 6529 0 -1 1077944384 1893 0 0 0 36 0 0 0 20 0 15 0 106524263 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202115902320 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 18655 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 76076 KiB
[startup+1.50087 s]
/proc/loadavg: 2.06 2.06 2.05 5/218 12064
/proc/meminfo: memFree=25348524/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14089320 memory=98496 CPUtime=5.85 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 20940 0 0 0 579 6 0 0 20 0 15 0 106524257 14427463680 24624 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3522330 24624 3369 1 0 3483524 0
[pid=12050/tid=12051] ppid=12048 vsize=14089320 memory=1708 CPUtime=3.16 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 4202560 7681 0 0 0 313 3 0 0 20 0 15 0 106524257 14427463680 24624 33554432000 4194304 4196468 140733453471008 140203146827000 140203123433208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14089320 memory=92352 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14089320 memory=1289 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106524259 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14089320 memory=140155788796897 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14089320 memory=280311577602784 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14089320 memory=140155788815583 CPUtime=1.14 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 6165 0 0 0 114 0 0 0 20 0 15 0 106524263 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14089320 memory=288230574492221466 CPUtime=1.08 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 3420 0 0 0 108 0 0 0 20 0 15 0 106524263 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14089320 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) S 12048 12048 6529 0 -1 1077944384 2313 0 0 0 42 0 0 0 20 0 15 0 106524263 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202115902320 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 24624 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 99952 KiB
[startup+4.00067 s]*
/proc/loadavg: 2.06 2.06 2.05 3/218 12064
/proc/meminfo: memFree=25317876/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14089320 memory=110820 CPUtime=6.66 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 21378 0 0 0 660 6 0 0 20 0 15 0 106524257 14427463680 27705 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3522330 27705 3369 1 0 3483524 0
[pid=12050/tid=12051] ppid=12048 vsize=14089320 memory=4283920778517054855 CPUtime=3.97 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 4202560 7838 0 0 0 394 3 0 0 20 0 15 0 106524257 14427463680 27705 33554432000 4194304 4196468 140733453471008 140203146826624 140203123429685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14089320 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14089320 memory=2322435593237374932 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14089320 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14089320 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14089320 memory=3472468452154603184 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106524259 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14089320 memory=7812726516167304524 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14089320 memory=6940425710114848868 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14089320 memory=8242832241811678803 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14089320 memory=6944652177228980320 CPUtime=1.14 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 6278 0 0 0 114 0 0 0 20 0 15 0 106524263 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14089320 memory=6944656592455097440 CPUtime=1.08 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 3422 0 0 0 108 0 0 0 20 0 15 0 106524263 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14089320 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) S 12048 12048 6529 0 -1 1077944384 2477 0 0 0 43 0 0 0 20 0 15 0 106524263 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202115902320 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14089320 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 27705 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 6.66 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 112276 KiB
[startup+4.80065 s]
/proc/loadavg: 2.06 2.06 2.05 3/218 12064
/proc/meminfo: memFree=25317876/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14089320 memory=121084 CPUtime=7.45 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 22108 0 0 0 739 6 0 0 20 0 15 0 106524257 14427463680 30271 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3522330 30271 3373 1 0 3483524 0
[pid=12050/tid=12051] ppid=12048 vsize=14089320 memory=6791534058613427641 CPUtime=4.76 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 4202560 7858 0 0 0 473 3 0 0 20 0 15 0 106524257 14427463680 30271 33554432000 4194304 4196468 140733453471008 140203146826592 140202784468463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14089320 memory=102 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14089320 memory=41 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14089320 memory=280311577584504 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 106524259 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14089320 memory=-7668917182949848256 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14089320 memory=33 CPUtime=1.14 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 6278 0 0 0 114 0 0 0 20 0 15 0 106524263 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14089320 memory=-3117775541953848416 CPUtime=1.08 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 3422 0 0 0 108 0 0 0 20 0 15 0 106524263 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14089320 memory=6944656592455359580 CPUtime=0.43 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) D 12048 12048 6529 0 -1 4202560 2941 0 0 0 43 0 0 0 20 0 15 0 106524263 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202115902240 140203122514335 0 4 0 16800975 18446744072100093061 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) D 12048 12048 6529 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 30271 33554432000 4194304 4196468 140733453471008 140202113796448 140203127446286 0 4 0 16800975 18446744072100093061 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 122540 KiB
[startup+5.00065 s]*
/proc/loadavg: 2.06 2.06 2.05 3/218 12064
/proc/meminfo: memFree=25303068/32770624 swapFree=67108688/67108860
[pid=12048] ppid=12045 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (xcsp3-exec) S 12045 12048 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106524257 115843072 364 33554432000 4194304 5098028 140737083648560 140737083646664 140216038646396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13369344 140737083651136 140737083651337 140737083651337 140737083654090 0
/proc/12048/statm: 28282 364 306 221 0 87 0
[pid=12050] ppid=12048 vsize=14089320 memory=125180 CPUtime=7.66 cores=1,3,5,7
/proc/12050/stat : 12050 (java) S 12048 12048 6529 0 -1 1077944320 22139 0 0 0 760 6 0 0 20 0 15 0 106524257 14427463680 31295 33554432000 4194304 4196468 140733453471008 140733453453552 140203142590199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
/proc/12050/statm: 3522330 31295 3373 1 0 3483524 0
[pid=12050/tid=12051] ppid=12048 vsize=14089320 memory=4355978372555374220 CPUtime=4.98 cores=1,3,5,7
/proc/12050/task/12051/stat : 12051 (java) R 12048 12048 6529 0 -1 4202560 7865 0 0 0 494 4 0 0 20 0 15 0 106524257 14427463680 31295 33554432000 4194304 4196468 140733453471008 140203146826592 140202784468927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12052] ppid=12048 vsize=14089320 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12052/stat : 12052 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202738006928 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12053] ppid=12048 vsize=14089320 memory=3472464054108354224 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12053/stat : 12053 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202736954128 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12054] ppid=12048 vsize=14089320 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12054/stat : 12054 (java) S 12048 12048 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202735901840 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12055] ppid=12048 vsize=14089320 memory=100544 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12055/stat : 12055 (java) S 12048 12048 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106524258 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202734849040 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12056] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12056/stat : 12056 (java) S 12048 12048 6529 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 106524259 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202122217584 140203142601346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12057] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12057/stat : 12057 (java) S 12048 12048 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202121163552 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12058] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12058/stat : 12058 (java) S 12048 12048 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106524260 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202120111216 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12059] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12059/stat : 12059 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202119059536 140203142608795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12060] ppid=12048 vsize=14089320 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/12050/task/12060/stat : 12060 (java) S 12048 12048 6529 0 -1 1077944384 6278 0 0 0 114 0 0 0 20 0 15 0 106524263 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202118007408 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12061] ppid=12048 vsize=14089320 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/12050/task/12061/stat : 12061 (java) S 12048 12048 6529 0 -1 1077944384 3443 0 0 0 108 0 0 0 20 0 15 0 106524263 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202116954608 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12062] ppid=12048 vsize=14089320 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/12050/task/12062/stat : 12062 (java) S 12048 12048 6529 0 -1 1077944384 2942 0 0 0 43 0 0 0 20 0 15 0 106524263 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202115902320 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12063] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12063/stat : 12063 (java) S 12048 12048 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202114849760 140203142600405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
[pid=12050/tid=12064] ppid=12048 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12050/task/12064/stat : 12064 (java) S 12048 12048 6529 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 106524263 14427463680 31295 33554432000 4194304 4196468 140733453471008 140202113796528 140203142601346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 18653184 140733453472908 140733453473078 140733453473078 140733453475791 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 126636 KiB
Child status: 0
Real time (s): 5.09227
CPU time (s): 7.76028
CPU user time (s): 7.68733
CPU system time (s): 0.072949
CPU usage (%): 152.393
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 126636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.68733
system time used= 0.072949
maximum resident set size= 127564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23247
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= 2270
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 12048
# total CPU time (s): 7.76028
# total CPU user time (s): 7.68733
# total CPU system time (s): 0.072949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059652 second user time and 0.088102 second system time
The end