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 (15238 MiB free)
memory of node 1: 16384 MiB (14883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272051-1502709474/watcher-4272051-1502709474 -o /tmp/evaluation-result-4272051-1502709474/solver-4272051-1502709474 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 902867800 HOME/instance-4272051-1502709474.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9272, runsolver pid=9269
[startup+0.10012 s]*
/proc/loadavg: 1.73 1.56 1.52 3/208 9282
/proc/meminfo: memFree=30837352/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13574484 memory=19348 CPUtime=0.04 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 4197 0 0 0 3 1 0 0 20 0 9 0 24830007 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3393621 4837 2104 1 0 3383118 0
[pid=9274/tid=9275] ppid=9272 vsize=13574484 memory=7078076838863583841 CPUtime=0.02 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 2900 0 0 0 2 0 0 0 20 0 9 0 24830007 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223762415184 140223758202013 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13574484 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24830008 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13574484 memory=139840431810176 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24830008 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24830008 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24830008 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24830009 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 24830009 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223302882080 140223758190293 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 24830010 13900271616 4837 18446744073709551615 4194304 4196468 140735623672736 140223301829744 140223758190293 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20728 KiB
[startup+0.210389 s]*
/proc/loadavg: 1.73 1.56 1.52 3/214 9288
/proc/meminfo: memFree=30829516/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13974352 memory=27984 CPUtime=0.12 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 5451 0 0 0 11 1 0 0 20 0 15 0 24830007 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3493588 6996 2840 1 0 3482964 0
[pid=9274/tid=9275] ppid=9272 vsize=13974352 memory=7078076838863583841 CPUtime=0.09 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 3461 0 0 0 8 1 0 0 20 0 15 0 24830007 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223762405808 140223742742145 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830008 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13974352 memory=139840431810176 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830008 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830008 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830008 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13974352 memory=139840431810176 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830009 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24830009 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223302882080 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24830010 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223301829744 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) S 9272 9272 7968 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 24830012 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223232072304 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) S 9272 9272 7968 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 24830012 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223231019504 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13974352 memory=139840431810176 CPUtime=0.01 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) R 9272 9272 7968 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 24830012 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223736988089 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13974352 memory=139840431810176 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830017 14309736448 6996 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29364 KiB
[startup+0.310419 s]*
/proc/loadavg: 1.73 1.56 1.52 4/214 9288
/proc/meminfo: memFree=30816024/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13976468 memory=39984 CPUtime=0.32 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 9233 0 0 0 30 2 0 0 20 0 15 0 24830007 14311903232 9996 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3494117 9996 3003 1 0 3482964 0
[pid=9274/tid=9275] ppid=9272 vsize=13978608 memory=4278483708103473607 CPUtime=0.19 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 6363 0 0 0 17 2 0 0 20 0 15 0 24830007 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223762401080 140223224696831 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830008 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13978608 memory=4949696295941285253 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830008 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13978608 memory=7100839852556125036 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830008 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13978608 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830008 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13978608 memory=139840431820769 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830009 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24830009 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223302882080 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24830010 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223301829744 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) S 9272 9272 7968 0 -1 1077944384 650 0 0 0 3 0 0 0 20 0 15 0 24830012 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223232072304 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) S 9272 9272 7968 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 24830012 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223231019504 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) S 9272 9272 7968 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 15 0 24830012 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830017 14314094592 9999 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13985980 KiB
Current children cumulated memory: 41364 KiB
[startup+0.701024 s]
/proc/loadavg: 1.73 1.56 1.52 5/214 9288
/proc/meminfo: memFree=30796452/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13978684 memory=82020 CPUtime=1.38 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 13144 0 0 0 134 4 0 0 20 0 15 0 24830007 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3494671 20505 3163 1 0 3482964 0
[pid=9274/tid=9275] ppid=9272 vsize=13978684 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 7836 0 0 0 53 4 0 0 20 0 15 0 24830007 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223762414248 140223387128231 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830008 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830008 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830008 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13978684 memory=5 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24830008 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13978684 memory=36 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 24830009 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24830009 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223302882080 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24830010 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223301829744 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13978684 memory=7883313791582089521 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13978684 memory=4124 CPUtime=0.27 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) R 9272 9272 7968 0 -1 4202560 1645 0 0 0 27 0 0 0 20 0 15 0 24830012 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223232062688 140223751279934 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) R 9272 9272 7968 0 -1 4202560 886 0 0 0 25 0 0 0 20 0 15 0 24830012 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223231019424 140223743089020 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13978684 memory=139840309961328 CPUtime=0.27 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) S 9272 9272 7968 0 -1 1077944384 1469 0 0 0 27 0 0 0 20 0 15 0 24830012 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24830017 14314172416 20505 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83400 KiB
[startup+1.50107 s]
/proc/loadavg: 1.73 1.56 1.52 7/214 9288
/proc/meminfo: memFree=30665012/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13980732 memory=198380 CPUtime=3.7 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 15110 0 0 0 362 8 0 0 20 0 15 0 24830007 14316269568 49595 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3495183 49595 3218 1 0 3483476 0
[pid=9274/tid=9275] ppid=9272 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 8469 0 0 0 129 6 0 0 20 0 15 0 24830007 14316269568 49595 18446744073709551615 4194304 4196468 140735623672736 140223762415952 140223389517003 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 15 0 24830008 14316269568 49595 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 24830008 14316269568 49595 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13980732 memory=11830 CPUtime=0.01 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 24830008 14316269568 49595 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13980732 memory=20825 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 24830010 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223301829760 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13980732 memory=15872 CPUtime=3.83 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) S 9272 9272 7968 0 -1 1077944384 19368 0 0 0 381 2 0 0 20 0 15 0 24830012 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223232072304 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13980732 memory=4040 CPUtime=3.82 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) S 9272 9272 7968 0 -1 1077944384 19889 0 0 0 380 2 0 0 20 0 15 0 24830012 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223231019504 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13980732 memory=1380 CPUtime=0.92 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) S 9272 9272 7968 0 -1 1077944384 13281 0 0 0 90 2 0 0 20 0 15 0 24830012 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13980732 memory=298608 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13980732 memory=1700 CPUtime=1.11 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1476 0 0 0 56 55 0 0 20 0 15 0 24830017 14316269568 74652 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 2348.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 299988 KiB
[startup+2382.3 s]
/proc/loadavg: 1.75 1.72 1.68 3/214 9660
/proc/meminfo: memFree=29245172/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13980732 memory=298484 CPUtime=2408.71 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 152530 0 0 0 240646 225 0 0 20 0 15 0 24830007 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3495183 74621 3267 1 0 3483476 0
[pid=9274/tid=9275] ppid=9272 vsize=13980732 memory=298484 CPUtime=2371 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 46698 0 0 0 237070 30 0 0 20 0 15 0 24830007 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223762419712 140223391867312 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13980732 memory=1380 CPUtime=6.21 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 9386 0 0 0 588 33 0 0 20 0 15 0 24830008 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13980732 memory=298484 CPUtime=6.2 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 9510 0 0 0 588 32 0 0 20 0 15 0 24830008 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13980732 memory=1380 CPUtime=6.27 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 8668 0 0 0 593 34 0 0 20 0 15 0 24830008 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13980732 memory=1380 CPUtime=6.21 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 9933 0 0 0 587 34 0 0 20 0 15 0 24830008 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13980732 memory=298484 CPUtime=3.01 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 12971 0 0 0 272 29 0 0 20 0 15 0 24830009 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 24830009 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223302882144 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 24830010 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223301829760 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13980732 memory=299000 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13980732 memory=4124 CPUtime=3.84 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) S 9272 9272 7968 0 -1 1077944384 19370 0 0 0 382 2 0 0 20 0 15 0 24830012 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223232072304 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13980732 memory=16468 CPUtime=3.82 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) S 9272 9272 7968 0 -1 1077944384 19891 0 0 0 380 2 0 0 20 0 15 0 24830012 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223231019504 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13980732 memory=2424 CPUtime=0.92 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) S 9272 9272 7968 0 -1 1077944384 13283 0 0 0 90 2 0 0 20 0 15 0 24830012 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13980732 memory=298484 CPUtime=1.14 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1492 0 0 0 58 56 0 0 20 0 15 0 24830017 14316269568 74621 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 2408.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 299864 KiB
[startup+2442.3 s]
/proc/loadavg: 1.96 1.78 1.70 3/214 9664
/proc/meminfo: memFree=29246180/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13980732 memory=297460 CPUtime=2469.2 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 155805 0 0 0 246693 227 0 0 20 0 15 0 24830007 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3495183 74365 3267 1 0 3483476 0
[pid=9274/tid=9275] ppid=9272 vsize=13980732 memory=297460 CPUtime=2430.72 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 47475 0 0 0 243042 30 0 0 20 0 15 0 24830007 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223762419936 140223391277153 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13980732 memory=297460 CPUtime=6.38 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 9608 0 0 0 605 33 0 0 20 0 15 0 24830008 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13980732 memory=297460 CPUtime=6.38 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 9767 0 0 0 605 33 0 0 20 0 15 0 24830008 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13980732 memory=297460 CPUtime=6.44 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 8851 0 0 0 610 34 0 0 20 0 15 0 24830008 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13980732 memory=297460 CPUtime=6.38 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 10572 0 0 0 604 34 0 0 20 0 15 0 24830008 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13980732 memory=1380 CPUtime=3.08 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 14146 0 0 0 278 30 0 0 20 0 15 0 24830009 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 24830009 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223302882144 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13980732 memory=297460 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 24830010 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223301829760 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13980732 memory=297460 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13980732 memory=1380 CPUtime=3.84 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) S 9272 9272 7968 0 -1 1077944384 19372 0 0 0 382 2 0 0 20 0 15 0 24830012 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223232072304 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13980732 memory=1296 CPUtime=3.82 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) S 9272 9272 7968 0 -1 1077944384 19894 0 0 0 380 2 0 0 20 0 15 0 24830012 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223231019504 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13980732 memory=1732 CPUtime=0.92 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) S 9272 9272 7968 0 -1 1077944384 13285 0 0 0 90 2 0 0 20 0 15 0 24830012 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13980732 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1507 0 0 0 59 58 0 0 20 0 15 0 24830017 14316269568 74365 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 2469.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 298840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.8 s]
/proc/loadavg: 1.71 1.73 1.69 3/213 9666
/proc/meminfo: memFree=29263500/32770624 swapFree=67108860/67108860
[pid=9272] ppid=9269 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9272/stat : 9272 (xcsp3-exec) S 9269 9272 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24830000 9740288 345 18446744073709551615 4194304 5098028 140736941546176 140736941544280 140587209462396 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 38612992 140736941551994 140736941552198 140736941552198 140736941555691 0
/proc/9272/statm: 2378 345 289 221 0 87 0
[pid=9274] ppid=9272 vsize=13980732 memory=296948 CPUtime=2520.07 cores=0,2,4,6
/proc/9274/stat : 9274 (java) S 9272 9272 7968 0 -1 1077944320 156927 0 0 0 251778 229 0 0 20 0 15 0 24830007 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140735623655280 140223758180087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
/proc/9274/statm: 3495183 74237 3267 1 0 3483476 0
[pid=9274/tid=9275] ppid=9272 vsize=13980732 memory=14410436439181270 CPUtime=2480.96 cores=0,2,4,6
/proc/9274/task/9275/stat : 9275 (java) R 9272 9272 7968 0 -1 4202560 47940 0 0 0 248066 30 0 0 20 0 15 0 24830007 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223762419600 140223392498920 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9276] ppid=9272 vsize=13980732 memory=928 CPUtime=6.51 cores=0,2,4,6
/proc/9274/task/9276/stat : 9276 (java) S 9272 9272 7968 0 -1 1077944384 9629 0 0 0 618 33 0 0 20 0 15 0 24830008 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223715146640 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9277] ppid=9272 vsize=13980732 memory=4198373884061773715 CPUtime=6.5 cores=0,2,4,6
/proc/9274/task/9277/stat : 9277 (java) S 9272 9272 7968 0 -1 1077944384 9777 0 0 0 617 33 0 0 20 0 15 0 24830008 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223714093840 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9278] ppid=9272 vsize=13980732 memory=1732 CPUtime=6.58 cores=0,2,4,6
/proc/9274/task/9278/stat : 9278 (java) S 9272 9272 7968 0 -1 1077944384 8884 0 0 0 623 35 0 0 20 0 15 0 24830008 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223713041552 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9279] ppid=9272 vsize=13980732 memory=1700 CPUtime=6.51 cores=0,2,4,6
/proc/9274/task/9279/stat : 9279 (java) S 9272 9272 7968 0 -1 1077944384 10861 0 0 0 617 34 0 0 20 0 15 0 24830008 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223711988752 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9280] ppid=9272 vsize=13980732 memory=1228 CPUtime=3.15 cores=0,2,4,6
/proc/9274/task/9280/stat : 9280 (java) S 9272 9272 7968 0 -1 1077944384 14323 0 0 0 285 30 0 0 20 0 15 0 24830009 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223303936112 140223758191234 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9281] ppid=9272 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9281/stat : 9281 (java) S 9272 9272 7968 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 24830009 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223302882144 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9282] ppid=9272 vsize=13980732 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9282/stat : 9282 (java) S 9272 9272 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 24830010 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223301829760 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9283] ppid=9272 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9283/stat : 9283 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223233124432 140223758198683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9284] ppid=9272 vsize=13980732 memory=1732 CPUtime=3.84 cores=0,2,4,6
/proc/9274/task/9284/stat : 9284 (java) S 9272 9272 7968 0 -1 1077944384 19372 0 0 0 382 2 0 0 20 0 15 0 24830012 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223232072304 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9285] ppid=9272 vsize=13980732 memory=7680170660397595203 CPUtime=3.82 cores=0,2,4,6
/proc/9274/task/9285/stat : 9285 (java) S 9272 9272 7968 0 -1 1077944384 19895 0 0 0 380 2 0 0 20 0 15 0 24830012 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223231019504 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9286] ppid=9272 vsize=13980732 memory=296948 CPUtime=0.92 cores=0,2,4,6
/proc/9274/task/9286/stat : 9286 (java) S 9272 9272 7968 0 -1 1077944384 13398 0 0 0 90 2 0 0 20 0 15 0 24830012 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223229967216 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9287] ppid=9272 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9274/task/9287/stat : 9287 (java) S 9272 9272 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24830012 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223228914656 140223758190293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
[pid=9274/tid=9288] ppid=9272 vsize=13980732 memory=296948 CPUtime=1.2 cores=0,2,4,6
/proc/9274/task/9288/stat : 9288 (java) S 9272 9272 7968 0 -1 1077944384 1520 0 0 0 61 59 0 0 20 0 15 0 24830017 14316269568 74237 18446744073709551615 4194304 4196468 140735623672736 140223227861424 140223758191234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34213888 140735623676338 140735623676514 140735623676514 140735623679951 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 298328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.81 s]
# the end of solver process 9272 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001871 s, system=0.00016 s
[startup+2492.81 s]
# the end of solver process 9274 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.8 s, system=2.29986 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2492.81
CPU time (s): 2520.1
CPU user time (s): 2517.8
CPU system time (s): 2.29986
CPU usage (%): 101.095
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1146428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.8
system time used= 2.29986
maximum resident set size= 1154824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137395
involuntary context switches= 6301
# summary of solver processes directly reported to runsolver:
# pid: 9272,9274
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.8
# total CPU system time (s): 2.29986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6544 second user time and 23.9685 second system time
The end